Search results for: Westley Weimer
IEEE Transactions on Software Engineering > 2017 > 43 > 11 > 1089 - 1090
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Specification, Program Synthesis > 461-476
Lecture Notes in Computer Science > Compiler Construction > Domain-Specific Languages and Tools > 213-228
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Generative Approaches > 292-306
Lecture Notes in Computer Science > Advanced Topics in Exception Handling Techniques > Programming Languages > 22-41
Lecture Notes in Computer Science > Static Analysis > 230-246
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Formal Methods > 305-319
IEEE Transactions on Software Engineering > 2015 > 41 > 12 > 1236 - 1256
Computer Graphics Forum > 34 > 7 > 77 - 87
Genetic Programming and Evolvable Machines > 2014 > 15 > 3 > 281-312
Software Quality Journal > 2013 > 21 > 3 > 421-443