Testing software and systems

Software, Services, and Systems,2015, 引用: 8

international conference on information systems security,2012, 引用: 16

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change,2012, 引用: 14

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change,2012, 引用: 13

Automated Technology for Verification and Analysis,2014, 引用: 2

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change,2012, 引用: 9

verification model checking and abstract interpretation,2014, 引用: 4

leveraging applications of formal methods,2014, 引用: 8

symposium on search based software engineering,2012, 引用: 20

Testing Software and Systems,2012, 引用: 6