1219 search results - page 168 / 244 » Verification of Equivalent-Results Methods |
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we describe AutAT, an open source Eclipse plugin to better enable test driven development of web applications. AutAT lets non-technical people write acceptance tests...
UML
2005
Springer
14 years 3 months ago
2005
Springer
Aspect oriented design (AOD) research is fragmented. Barriers to AOD adoption are, in part, due to the fragmented nature of AOD research. Individually, many approaches provide ele...
SIGADA
2004
Springer
14 years 3 months ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...
SIGSOFT
2003
ACM
14 years 3 months ago
2003
ACM
This paper presents PLUTO, a simple and intuitive methodology to manage the testing process of product lines, described as Product Lines Use Cases (PLUCs). PLUCs are an extension ...
DATE
2002
IEEE
14 years 3 months ago
2002
IEEE
We describe a SAT-solver, BerkMin, that inherits such features of GRASP, SATO, and Chaff as clause recording, fast BCP, restarts, and conflict clause “aging”. At the same time...