Search results for: Lars Frantzen
Lecture Notes in Computer Science > Software Engineering > Software Testing and Reverse Engineering > 106-139
Lecture Notes in Computer Science > Architecting Systems with Trustworthy Components > Invited Articles > 1-25
Lecture Notes in Computer Science > Model-Based Testing of Reactive Systems > Tools and Case Studies > 391-438
IFIP — The International Federation for Information Processing > Security and Privacy in the Age of Ubiquitous Computing > Workshop Papers > 565-576
Lecture Notes in Computer Science > Testing of Software and Communicating Systems > Applications of Testing > 266-282
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Symbolic Test Generation > 1-15
Journal of Logic and Algebraic Programming > 2009 > 78 > 6 > 417-424