by Wüstholz, Valentin, Olivo, Oswaldo, Heule, Marijn J. H., Dillig, Isil
Published in Tools and Algorithms for the Construction and Analysis of Systems

by Samanta, Roopsha, Olivo, Oswaldo, Emerson, E. Allen
Published in Static Analysis

by Olivo, Oswaldo, Emerson, E. Allen
Published in 2012 31st International Conference of the Chilean Computer Science Society (01.11.2012)

by Converse, Hayes, Olivo, Oswaldo, Khurshid, Sarfraz
Published in 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.03.2017)

by Shiyu Dong, Olivo, Oswaldo, Lingming Zhang, Khurshid, Sarfraz
Published in 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE) (01.11.2015)

by Jia Chen, Olivo, Oswaldo, Dillig, Isil, Lin, Calvin
Published in 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.10.2017)

by Wüstholz, Valentin, Olivo, Oswaldo, Heule, Marijn J. H, Dillig, Isil
Year of Publication 15.01.2017

by Samanta, Roopsha, Olivo, Oswaldo, Emerson, E. Allen
Year of Publication 27.07.2013

by Wüstholz, Valentin, Olivo, Oswaldo, Heule, Marijn J H, Dillig, Isil
Published in arXiv.org (15.01.2017)

by Samanta, Roopsha, Olivo, Oswaldo, E Allen Emerson
Published in arXiv.org (31.03.2014)

by Olivo, O., Ray, S., Bhadra, J., Vedula, V.
Published in 2011 12th International Workshop on Microprocessor Test and Verification (01.12.2011)