45 search results - page 2 / 9 » Specification-driven automated testing of GUI-based Java pro... |
89
Voted
ITNG
2010
IEEE
15 years 8 months ago
2010
IEEE
151
Voted
ASE
2004
15 years 3 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...
152
Voted
FATES
2003
Springer
15 years 8 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. ...
145
Voted
SPIN
2010
Springer
15 years 1 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 ...
167
Voted
KBSE
2010
IEEE
15 years 2 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...