Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Christakis, Maria; Godefroid, Patrice (2015)
Publisher: Springer
Languages: English
Types: Unknown
Subjects: QA
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • 1. S. Anand, P. Godefroid, and N. Tillmann. Demand-driven compositional symbolic execution. In TACAS, volume 4963 of LNCS, pages 367-381. Springer, 2008.
    • 2. S. Artzi, A. Kiezun, J. Dolby, F. Tip, D. Dig, A. M. Paradkar, and M. D. Ernst. Finding bugs in web applications using dynamic test generation and explicit-state model checking. TSE, 36:474-494, 2010.
    • 3. T. Avgerinos, A. Rebert, S. K. Cha, and D. Brumley. Enhancing symbolic execution with veritesting. In ICSE, pages 1083-1094. ACM, 2014.
    • 4. P. Boonstoppel, C. Cadar, and D. R. Engler. RWset: Attacking path explosion in constraint-based test generation. In TACAS, volume 4963 of LNCS, pages 351-366. Springer, 2008.
    • 5. E. Bounimova, P. Godefroid, and D. A. Molnar. Billions and billions of constraints: Whitebox fuzz testing in production. In ICSE, pages 122-131. ACM, 2013.
    • 6. C. Cadar, D. Dunbar, and D. R. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI, pages 209-224. USENIX, 2008.
    • 7. C. Cadar and D. R. Engler. Execution generated test cases: How to make systems code crash itself. In SPIN, volume 3639 of LNCS, pages 2-23. Springer, 2005.
    • 8. C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler. EXE: Automatically generating inputs of death. In CCS, pages 322-335. ACM, 2006.
    • 9. A. Chakrabarti and P. Godefroid. Software partitioning for effective automated unit testing. In EMSOFT, pages 262-271. ACM, 2006.
    • 10. M. Christakis and P. Godefroid. Proving memory safety of the ANI Windows image parser using compositional exhaustive testing. In VMCAI, volume 8931 of LNCS, pages 370-389. Springer, 2015.
    • 11. L. de Moura and N. Bjørner. Z3: An efficient SMT solver. In TACAS, volume 4963 of LNCS, pages 337-340. Springer, 2008.
    • 12. P. Godefroid. Compositional dynamic test generation. In POPL, pages 47-54. ACM, 2007.
    • 13. P. Godefroid and J. Kinder. Proving memory safety of floating-point computations by combining static and dynamic program analysis. In ISSTA, pages 1-12. ACM, 2010.
    • 14. P. Godefroid, N. Klarlund, and K. Sen. DART: Directed automated random testing. In PLDI, pages 213-223. ACM, 2005.
    • 15. P. Godefroid, S. K. Lahiri, and C. Rubio-Gonza´lez. Statically validating must summaries for incremental compositional dynamic test generation. In SAS, volume 6887 of LNCS, pages 112-128. Springer, 2011.
    • 16. P. Godefroid, M. Y. Levin, and D. A. Molnar. Automated whitebox fuzz testing. In NDSS, pages 151-166. The Internet Society, 2008.
    • 17. P. Godefroid and D. Luchaup. Automatic partial loop summarization in dynamic test generation. In ISSTA, pages 23-33. ACM, 2011.
    • 18. P. Godefroid, A. V. Nori, S. K. Rajamani, and S. Tetali. Compositional may-must program analysis: Unleashing the power of alternation. In POPL, pages 43-56. ACM, 2010.
    • 19. V. Kuznetsov, J. Kinder, S. Bucur, and G. Candea. Efficient state merging in symbolic execution. In PLDI, pages 193-204. ACM, 2012.
    • 20. R. Majumdar and R.-G. Xu. Reducing test inputs using information partitions. In CAV, volume 5643 of LNCS, pages 555-569. Springer, 2009.
    • 21. K. Sen and G. Agha. CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools. In CAV, volume 4144 of LNCS, pages 419-423. Springer, 2006.
    • 22. D. X. Song, D. Brumley, H. Yin, J. Caballero, I. Jager, M. G. Kang, Z. Liang, J. Newsome, P. Poosankam, and P. Saxena. BitBlaze: A new approach to computer security via binary analysis. In ICISS, volume 5352 of LNCS, pages 1-25. Springer, 2008.
    • 23. N. Tillmann and J. de Halleux. Pex-White box test generation for .NET. In TAP, volume 4966 of LNCS, pages 134-153. Springer, 2008.
  • No related research data.
  • No similar publications.

Share - Bookmark

Cite this article