47 search results - page 2 / 10 » Automating Java Program Testing Using OCL and AspectJ |
111
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
135
click to vote
ASE
2004
15 years 1 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...
102
click to vote
ACMSE
2004
ACM
15 years 7 months ago
2004
ACM
This paper presents a specification-driven approach to test automation for GUI-based JAVA programs as an alternative to the use of capture/replay. The NetBeans Jemmy library provi...
117
click to vote
ICSE
2011
IEEE-ACM
14 years 5 months ago
2011
IEEE-ACM
Current practice in testing JavaScript web applications requires manual construction of test cases, which is difficult and tedious. We present a framework for feedback-directed a...
134
click to vote
VL
2005
IEEE
15 years 7 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...