Paper Info
Title
Experimental comparison of concolic and random testing for java card applets
Abstract
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic Tester (LCT), an open source concolic testing tool for sequential Java programs. It discusses the design choices behind LCT as well as its use in automated unit test generation for the JUnit testing framework. As the main experimental contribution we report on an empirical evaluation of LCT for testing smart card Java applets. In particular, we focus on the problem of differential testing, where a Java class implementation is tested against a reference implementation. Two different concolic unit test generation approaches are presented and their effectiveness is compared with random testing. The experiments show that concolic testing is able to find significantly more bugs than random testing in the testing domain at hand.
Year
DOI
Venue
2010
10.1007/978-3-642-16164-3_3
SPIN
Keywords
Field
DocType
open source concolic testing,java card applets,different concolic unit test,automated unit test generation,experimental comparison,generation approach,testing domain,random testing,java class implementation,junit testing framework,concolic testing,differential testing,unit testing,java card,smart card,java applet
Programming language,Random testing,Computer science,Unit testing,Real time Java,Reference implementation,Concolic testing,Java Card,Java applet,Java
Conference
Volume
ISSN
ISBN
6349
0302-9743
3-642-16163-4
Citations 
PageRank 
References 
1
0.37
16
Authors
4
Name
Order
Citations
PageRank
Kari Kähkönen1293.07
Roland Kindermann2322.45
Keijo Heljanko375147.90
Ilkka Niemelä42939148.38