Search results for: Nikolai Tillmann
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 425-446
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Test Methods and Test Tools > 252-266
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Program Analysis > 307-321
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Testing in Practice > 294-309
Lecture Notes in Computer Science > Tests and Proofs > Tutorials > 171-181
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification and Refinement > 717-736
Lecture Notes in Computer Science > FM 2005: Formal Methods > Industry Day: Abstracts of Invited Talks > 542-547
Lecture Notes in Computer Science > Tests and Proofs > Research Papers > 134-153
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Generative Approaches > 277-291
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Symbolic Execution > 367-381