Search results
Journal of Software: Evolution and Process > 36 > 4 > n/a - n/a
Software Testing, Verification and Reliability > 29 > 6-7 > n/a - n/a
Software Quality Journal > 2018 > 26 > 3 > 921-959
IEEE Transactions on Reliability > 2016 > 65 > 3 > 1205 - 1222
Lecture Notes in Computer Science > Testing of Communicating Systems > Session I: Testing Theory and Foundations > 1-18
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Modeling and Formalizing Industrial Software for Verification, Validation and Certification > 382-396
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > UML in Practice and Quality Assurance > 211-225
Lecture Notes in Computer Science > Engineering Secure Software and Systems > Session 3. Web Security > 101-113
Communications in Computer and Information Science > Software Engineering, Business Continuity, and Education > 46-55
International Journal on Software Tools for Technology Transfer > 2016 > 18 > 3 > 305-318
ECONTECHMOD : An International Quarterly Journal on Economics of Technology... > 2016 > Vol. 5, No 2 > 133--138
Journal of Software: Evolution and Process > 27 > 12 > 913 - 952
Innovations in Systems and Software Engineering > 2016 > 12 > 4 > 279-301