Automatic testing of sequential and concurrent substitutability

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2013, Pages 282-291

  Pradel, Michael ^a   Gross, Thomas R ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

JAVA CLASS;

AUTOMATIC TESTING;

SOFTWARE ENGINEERING;

EID: 84886412601     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2013.6606574     Document Type: Conference Paper

References (33)

1. B. Liskov, "Data abstraction and hierarchy," in OOPSLA, 1987, pp. 17-34.
2. B. Liskov and J. Wing, "A behavioral notion of subtyping," ACM T Progr Lang Sys, vol. 16, no. 6, pp. 1811-1841, 1994.
3. G. T. Leavens and W. E. Weihl, "Reasoning about object-oriented programs that use subtypes," in OOPSLA/ECOOP, 1990, pp. 212-223.
4. P. America, "Designing an object-oriented programming language with behavioural subtyping," in REX Workshop, vol. 489, 1990, pp. 60-90.
5. K. K. Dhara and G. T. Leavens, "Forcing behavioral subtyping through specification inheritance," in ICSE, 1996, pp. 258-267.
6. C. Ruby and G. T. Leavens, "Safely creating correct subclasses without seeing superclass code," in OOPSLA, 2000, pp. 208-228.
7. C. Szyperski, Component Software: Beyond Object-Oriented Programming, 2002.
8. C. Ghezzi, M. Jazayeri, and D. Mandrioli, Fundamentals of Software Engineering (2nd edition), 2002.
9. M. Pradel and T. R. Gross, "Fully automatic and precise detection of thread safety violations," in PLDI, 2012, pp. 521-530.
10. J. Gosling, B. Joy, G. Steele, and G. Bracha, Java Language Specification, 3rd Edition, 2005.
11. S. Lu, S. Park, E. Seo, and Y. Zhou, "Learning from mistakes: a comprehensive study on real world concurrency bug characteristics," in ASPLOS, 2008, pp. 329-339.
12. A. Nistor, Q. Luo, M. Pradel, T. R. Gross, and D. Marinov, "Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code," in ICSE, 2012, pp. 727-737.
13. C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball, "Feedback- directed random test generation," in ICSE, 2007, pp. 75-84.
14. H. Patil, C. Pereira, M. Stallcup, G. Lueck, and J. Cownie, "PinPlay: a framework for deterministic replay and reproducible analysis of parallel programs," in CGO, 2010, pp. 2-11.
15. W. Visser, K. Havelund, G. P. Brat, S. Park, and F. Lerda, "Model checking programs," Autom Software Eng, vol. 10, no. 2, pp. 203-232, 2003.
16. E. Tempero, C. Anslow, J. Dietrich, T. Han, J. Li, M. Lumpe, H. Melton, and J. Noble, "Qualitas Corpus: A curated collection of Java code for empirical studies," in APSEC, 2010.
17. M. Pradel, S. Heiniger, and T. R. Gross, "Static detection of brittle parameter typing," in ISSTA, 2012, pp. 265-275.
18. A. Snyder, "Encapsulation and inheritance in object-oriented programming languages," in OOPSLA, 1986, pp. 38-45.
19. J. Offutt, R. T. Alexander, Y. Wu, Q. Xiao, and C. Hutchinson, "A fault model for subtype inheritance and polymorphism," in ISSRE, 2001, pp. 84-95.
20. A. Taivalsaari, "On the notion of inheritance," ACM Comput Surv, vol. 28, no. 3, pp. 438-479, 1996.
21. C. Csallner and Y. Smaragdakis, "JCrasher: an automatic robustness tester for Java," Software Pract Exper, vol. 34, no. 11, pp. 1025-1050, 2004.
22. I. Ciupa, A. Leitner, M. Oriol, and B. Meyer, "ARTOO: adaptive random testing for object-oriented software," in ICSE, 2008, pp. 71-80.
23. W. Visser, C. S. Pasareanu, and S. Khurshid, "Test input generation with Java PathFinder," in ISSTA, 2004, pp. 97-107.
24. P. Godefroid, N. Klarlund, and K. Sen, "DART: directed automated random testing," in PLDI, 2005, pp. 213-223.
25. T. Xie, D. Marinov, W. Schulte, and D. Notkin, "Symstra: A framework for generating object-oriented unit tests using symbolic execution," in TACAS, 2005, pp. 365-381.
26. C. Cadar, D. Dunbar, and D. R. Engler, "KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs," in OSDI, 2008, pp. 209-224.
27. N. Tillmann and W. Schulte, "Parameterized unit tests," in ESEC/FSE, 2005, pp. 253-262.
28. W. M. McKeeman, "Differential testing for software," Digit Techn J, vol. 10, no. 1, pp. 100-107, 1998.
29. B. Daniel, D. Dig, K. Garcia, and D. Marinov, "Automated testing of refactoring engines," in ESEC/FSE, 2007, pp. 185-194.
30. E. D. Tempero, J. Noble, and H. Melton, "How do Java programs use inheritance? An empirical study of inheritance in Java software," in ECOOP, 2008, pp. 667-691.
31. S. McCamant and M. D. Ernst, "Predicting problems caused by component upgrades," in ESEC/FSE, 2003, pp. 287-296.
32. W. Jin, A. Orso, and T. Xie, "Automated behavioral regression testing," in ICST, 2010, pp. 137-146.
33. K. Kim, T. Yavuz-Kahveci, and B. A. Sanders, "Precise data race detection in a relaxed memory model using heuristic-based model checking," in ASE, 2009, pp. 495-499.