Jartege: A tool for random generation of unit tests for Java classes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3712 LNCS, Issue , 2005, Pages 242-256

  Oriat, Catherine ^a  

^a LSR IMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

JAVA CLASSES; JAVA MODELING LANGUAGE (JML); RANDOM GENERATION;

JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS; RANDOM PROCESSES; RELATIONAL DATABASE SYSTEMS; SPECIFICATIONS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 33646169576     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11558569_18     Document Type: Conference Paper

References (34)

1. The JUnit Home Page, http://www.junit.org.
2. Beck, K., Gamma, E.: Test infected: Programmers love writing tests. Java Reports 3 (1998) 51-56
3. Gannon, J., McMullin, P., Hamlet, R.: Data-abstraction implementation, specification, and testing. ACM Transactions on Programming Languages and Systems 3 (1981) 211-233
4. Rosenblum, D.S.: Towards a method of programming with assertions. In: International Conference on Software Engineering - ICSE'92, IEEE Computer Society Press (1992)
5. Meyer, B.: Object-Oriented Software Construction. Prentice Hall (1988)
6. Meyer, B.: Applying design by contract. IEEE Computer 25 (1992) 40-51
7. Gaudel, M.C.: Testing can be formal too. In: Proceedings of TAPSOFT'95, Aarhus, Denmark. Number 915 in LNCS, Springer-Verlag (1995) 82-96
8. Dick, J., Faivre, A.: Automating the generation and sequencing of test cases from model-based specifications. In: Proceedings of FME'93. Number 670 in LNCS, Springer-Verlag (1993) 268-284
9. Aertryck, L.V., Benveniste, M., Métayer, D.L.: Casting: a formally based software test generation method. In: Proceedings of the First IEEE Internatinal Conference on Formal Engineering Methods - ICFEM'97, Hiroshima, Japan. (1997) 101-111
10. Legeard, B., Peureux, F., Utting, M.: Automated boundary testing from Z and B. In: Proceedings of FME'02, Formal Methods Europe, Copenhaguen, Denmark. Number 2391 in LNCS, Springer-Verlag (2002) 21-40
11. Myers, G.J.: The Art of Software Testing. John Wiley and Sons, New York (1994)
12. Duran, J.W., Ntafos, S.C.: An evaluation of random testing. IEEE Transactions on Software Engineering 10 (1984) 438-444
13. Hamlet, D., Taylor, R.: Partition testing does not inspire confidence. IEEE Transactions on Software Engineering 16 (1990)
14. Ntafos, S.C.: On comparisons of random, partition, and proportional partition testing. IEEE Transactions on Software Engineering 27 (2001) 949-960
15. Frankl, P.G., Hamlet, R.G., LittleWood, B., Strigini, L.: Evaluating testing methods by delivered reliability. IEEE Transactions on Software Engineering 24 (1998) 586-601
16. Hamlet, R.: Random testing. In Marciniak, J., ed.: Encyclopedia of Software Engineering, Wiley (1994) 970-978
17. Weyuker, E.J., Jeng, B.: Analyzing partition testing strategies. IEEE Transactions on Software Engineering 17 (1991) 703-711
18. Beck, K.: Embracing change with extreme programming. IEEE Computer 32 (1999) 70-77
19. Beck, K.: Extreme Programming Explained. Addison Wesley (2000)
20. The Java Modeling Language (JML) Home Page, http://www.cs.iastate. edu/~ leavens/JML.
21. Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Department of Computer Science, Iowa State University (1998-2003)
22. Leavens, G.T., Poll, E., Clifton, C., Cheon, Y., Ruby, C.: JML Reference Manual. (Draft) (April 2003)
23. Burdy, L., Cheon, Y., Cok, D.R., Ernst, M., Kiniry, J., Leavens, G.T., Rustan, K., Leino, M., Poll, E.: An overview of JML tools and applications. Technical Report NIII-R0309, Department of Computer Science, University of Nijmegen (March 2003)
24. Cheon, Y., Leavens, G.T.: A runtime assertion checker for the Java Modeling Language (JML). In: Hamid R. Arabnia and Youngsong Mun (eds.), International Conference on Software Engineering Research and Practice - SERP'02, Las Vegas, Nevada. (2002) 322-328
25. Cheon, Y., Leavens, G.T.: A simple and practical approach to unit testing: The JML and JUnit way. In: Boris Magnusson (ed.), 16th European Conference on Object-Oriented Programming - ECOOP'02, Malaga, Spain. Number 2374 in Lecture Notes in Computer Science, Springer-Verlag (2002) 231-255
26. Parissis, I.: Test de logiciels synchrones spécifiés en Lustre. PhD thesis, Grenoble, France (1996)
27. du Bousquet, L., Ouabdesselam, F., Richier, J.L., Zuanon, N.: Lutess: a specification-driven testing environment for synchronous software. In: International Conference on Software Engineering - ICSE'99, Los Angeles, USA, ACM Press (1999)
28. du Bousquet, L., Zuanon, N.: An overview of Lutess: a specification-based tool for testing synchronous software. In: 14th IEEE International Conference on Automated Software Engineering - ASE'99. (1999) 208-215
29. Labiche, Y., Thévenod-Fosse, P., Waeselynck, H., Durand, M.H.: Testing levels for object-oriented software. In: Proceedings of the 22nd International Conference on Software Engineering - ICSE'OO, Limerick, Ireland, ACM (2000) 136-145
30. Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated testing based on Java predicates. In: Proceedings of the International Symposium on Software Testing and Analysis - ISSTA'02, Rome. (2002) 123-133
31. Ledru, Y.: The TOBIAS test generator and its adaptation to some ASE challenges (position paper). In: Workshop on the State of the Art in Automated Software Engineering, ICS Technical Report UCI-ICS-02-17, University of California, Irvine, USA. (2002)
32. Maury, O., Ledru, Y., Bontron, P., du Bousquet, L.: Using TOBIAS for the automatic generation of VDM test cases. In: Third VDM Workshop (at FME'02), Copenhaguen, Denmark. (2002)
33. Jéron, T., Morel, P.: Test generation derived from model-checking. In: Proceedings of the 11th International Conference on Computer Aided Verification - CAV'99, Trento, Italy. Number 1633 in LNCS, Springer-Verlag (1999) 108-121
34. du Bousquet, L., Lanet, J.L., Ledru, Y., Maury, O., Oriat, C.: A case study in JML-based software validation. In: 19th IEEE International Conference on Automated Software Engineering, Austria - ASE'04. (2004) 294-297