Search results for: Cristian Cadar
Empirical Software Engineering > 2018 > 23 > 6 > 3187-3220
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Symbolic Execution > 351-366
IEEE Transactions on Software Engineering > 2014 > 40 > 7 > 695 - 709
IEEE Transactions on Software Engineering > 2014 > 40 > 7 > 710 - 737