Eric Bodden , Johannes Späth , Lisa Nguyen Quang Do , Karim Ali
DARTS - Dagstuhl Artifacts Series 2 2
Eric Bodden , Johannes Späth , Lisa Nguyen Quang Do , Karim Ali
european conference on object-oriented programming 26
Eric Bodden , Benjamin Livshits , Lisa Nguyen Quang Do , Karim Ali
Eric Bodden , Stefan Krüger , Lisa Nguyen Quang Do , Karim Ali
arXiv: Software Engineering
Eric Bodden , Lisa Nguyen Quang Do
Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. März 2018, Ulm, Germany. 205 -208
Justin Smith , Lisa Nguyen Quang Do , Emerson Rex Murphy-Hill
symposium on usable privacy and security 221 -238
Goran Piskachev , Lisa Nguyen Quang Do , Eric Bodden
international symposium on software testing and analysis 181 -191
Marcus Nachtigall , Lisa Nguyen Quang Do , Eric Bodden
automated software engineering 29 -32
Goran Piskachev , Lisa Nguyen Quang Do , Oshando Johnson , Eric Bodden
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) 1094 -1097
Lisa Nguyen Quang Do , Eric Bodden
IEEE Transactions on Software Engineering 1 -1
Lisa Nguyen Quang Do , James Wright , Karim Ali
IEEE Transactions on Software Engineering 1 -1
Lisa Nguyen Quang Do , Stefan Krüger , Patrick Hill , Karim Ali
international conference on software engineering 89 -92
Lisa Nguyen Quang Do , Karim Ali , Benjamin Livshits , Eric Bodden
international conference on software engineering 39 -42
Lisa Nguyen Quang Do , Michael Eichberg , Eric Bodden
Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis 13 -17
Lisa Nguyen Quang Do , Karim Ali , Benjamin Livshits , Eric Bodden
international symposium on software testing and analysis 307 -317
Lisa Nguyen Quang Do , Eric Bodden
foundations of software engineering 714 -718
Justin Smith , Lisa Nguyen Quang Do , Emerson Murphy-Hill
Lisa Nguyen Quang Do , Stefan Krüger , Patrick Hill , Karim Ali
arXiv e-prints arXiv: 1801.04894 -arXiv: 1801.04894
Daniil Tiganov , Lisa Nguyen Quang Do , Karim Ali
Communications of the ACM 65 ( 2) 52 -58
Daniil Tiganov , Lisa Nguyen Quang Do , Karim Ali
Queue 19 ( 4) 97 -118