45 search results - page 2 / 9 » Specification-driven automated testing of GUI-based Java pro... |
ITNG
2010
IEEE
14 years 3 months ago
2010
IEEE
ASE
2004
13 years 10 months ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
FATES
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
SPIN
2010
Springer
13 years 9 months ago
2010
Springer
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 ...
KBSE
2010
IEEE
13 years 9 months ago
2010
IEEE
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...