BALLERINA: Automatic Generation and Clustering of Efficient Random Unit Tests for Multithreaded Code

by Adrian Nistor , Qingzhou Luo , Michael Pradel , Thomas R. Gross , Darko Marinov
Citations:7 - 3 self

Documents Related by Co-Citation

106 Feedback-directed random test generation – Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball - 2007
522 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005
131 Jcrasher: an automatic robustness tester for java – Christoph Csallner, Yannis Smaragdakis - 2004
557 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
63 Multithreaded Java program test generation – O Edelstein, E Farchi, Y Nir, G Ratsaby, S Ur - 2002
115 Symstra: A framework for generating object-oriented unit tests using symbolic execution – Tao Xie, Darko Marinov, Wolfram Schulte, David Notkin - 2005
240 KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs – Cristian Cadar, Daniel Dunbar, Dawson Engler
140 Test Input Generation with Java PathFinder – Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid
19 PinPlay: a framework for deterministic replay and reproducible analysis of parallel programs – H Patil, C Pereira, M Stallcup, G Lueck, J Cownie
136 Learning from mistakes: a comprehensive study on real world concurrency bug characteristics – S Lu, S Park, E Seo, Y Zhou - 2008
17 Combined Static and Dynamic Automated Test Generation – Sai Zhang, David Saff, Yingyi Bu, Michael D. Ernst
129 Deterministic Replay of Java Multithreaded Applications – Jong-deok Choi, Harini Srinivasan - 1998
11 OCAT: Object Capture-based Automated Testing – Hojun Jaygarl, Sunghun Kim, Tao Xie, Carl K Chang - 2010
52 Reasoning about object-oriented programs that use subtypes – G T Leavens, W E Weihl - 1990
4 Fundamentals of Software Engineering (2nd edition – C Ghezzi, M Jazayeri, D Mandrioli - 2002
2 Fully Automatic and Precise Detection of Thread Safety Violations – Michael Pradel, Thomas R. Gross
3 Precise data race detection in a relaxed memory model using heuristic-based model checking – K Kim, T Yavuz-Kahveci, B A Sanders - 2009
2 Static detection of brittle parameter typing – M Pradel, S Heiniger, T R Gross - 2012
116 Forcing behavioral subtyping through specification inheritance – Krishna Kishore Dhara, Krishna Kishore Dhara, Gary T. Leavens, Gary T. Leavens - 1996