Specification-driven unit test generation for java generic classes

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

Volumn 7321 LNCS, Issue , 2012, Pages 296-311

  Rebello De Andrade, Francisco ^b   Faria, João P ^b,c   Lopes, Antónia ^a   Paiva, Ana C R ^b  

^a UNIVERSITY OF LISBON   (Portugal)

^b UNIVERSITY OF PORTO   (Portugal)

^c UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ALLOY ANALYZERS; GENERIC CLASS; JAVA GENERICS; JAVA IMPLEMENTATION; NOVEL TECHNIQUES; TEST CASE; TESTING DATA; UNIT TEST GENERATIONS; UNIT TESTS;

SPECIFICATIONS;

SOFTWARE TESTING;

EID: 84864328430     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-30729-4_21     Document Type: Conference Paper

References (17)

1. Andrade, F., Faria, J.P., Lopes, A., Paiva, A.: Specification-driven unit test generation for Java generic classes (2011), http://paginas.fe.up.pt/~jpf/ research/TR-QUEST-2011-01.pdf
2. Bidoit, M., Mosses, P.: CASL User Manual. LNCS, vol. 2900, pp. 3-9. Springer, Heidelberg (2004)
3. Chen, H.Y., Tse, T.H., Chen, T.Y.: TACCLE: a methodology for object-oriented software testing at the class and cluster levels. ACM Trans. Softw. Eng. Methodol. 10, 56-109 (2001)
4. Crispim, P., Lopes, A., Vasconcelos, V.T.: Runtime Verification for Generic Classes with CONGU2. In: Davies, J. (ed.) SBMF 2010. LNCS, vol. 6527, pp. 33-48. Springer, Heidelberg (2011)
5. Doong, R.K., Frankl, P.G.: The ASTOOT approach to testing object-oriented programs. ACM Trans. Softw. Eng. Methodol. 3, 101-130 (1994)
6. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations und Initial Semantics. Monographs in Theoretical Computer Science (EATCS), vol. 6. Springer, Heidelberg (1985)
7. Futatsugi, K., Goguen, J.A., Jouannaud, J.-P., Meseguer, J.: Principles of OBJ2. In: Proceedings of the 12th POPL, pp. 52-66. ACM, New York (1985)
8. Gaudel, M.-C., Le Gall, P.: Testing Data Types Implementations from Algebraic Specifications. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 209-239. Springer, Heidelberg (2008)
9. Hein, J.L.: Discrete Structures, Logic, and Computability. Jones & Bartlett Publishers (2009)
10. Hoffmann, M.R.: Ecclema: Java code coverage tool for Eclipse, http://www.eclemma.org/
11. Huges, M., Stotts, D.: Daistish: Systematic algebraic testing for OO programs in the presence of side-effects. In: Proc. ISSTV, pp. 53-61. ACM (1996)
12. Irvine, S.A., Pavlinic, T., Trigg, L., Cleary, J.G., Inglis, S., Utting, M.: Jumble Java byte code to measure the effectiveness of unit tests (2007), http://jumble.sourceforge.net/
13. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press (2006)
14. Mackinnon, T., Freeman, S., Craig, P.: Endotesting: Unit testing with mock objects. In: eXtreme Programming and Flexible Processes in Software Engineering - XP 2000 (2000)
15. Nunes, I., Lopes, A., Vasconcelos, V.T.: Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming. In: Bensalem, S., Peled, D.A. (eds.) RV 2009. LNCS, vol. 5779, pp. 115-131. Springer, Heidelberg (2009)
16. The Stanford Natural Language Processing Group, http://nlp.stanford.edu/ nlp/javadoc/javanlp/edu/stanford/nlp/util/package-tree.html
17. Yu, B., King, L., Zhu, H., Zhou, B.: Testing Java components based on algebraic specifications. In: Proc. International Conference on Software Testing, Verification and Validation, pp. 190-198. IEEE (2008)