Sciweavers

194 search results - page 17 / 39
» Automated Behavioral Regression Testing
Sort
View
ISSRE
2006
IEEE
14 years 1 months ago
Detecting Redundant Unit Tests for AspectJ Programs
Aspect-oriented software development is gaining popularity with the adoption of languages such as AspectJ. Testing is an important part in any software development, including aspe...
Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin
ISQED
2003
IEEE
119views Hardware» more  ISQED 2003»
14 years 1 months ago
System and Framework for QA of Process Design Kits
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...
M. C. Scott, M. O. Peralta, Jo Dale Carothers
LWA
2007
13 years 9 months ago
Meta-Learning Rule Learning Heuristics
The goal of this paper is to investigate to what extent a rule learning heuristic can be learned from experience. Our basic approach is to learn a large number of rules and record ...
Frederik Janssen, Johannes Fürnkranz
CDC
2008
IEEE
140views Control Systems» more  CDC 2008»
14 years 2 months ago
Reachability calculations for automated aerial refueling
— This paper describes reachability calculations for a hybrid system formalism governing UAVs interacting with another vehicle in a safety-critical situation. We examine this pro...
Jerry Ding, Jonathan Sprinkle, Shankar S. Sastry, ...
BPM
2011
Springer
270views Business» more  BPM 2011»
12 years 7 months ago
Automated Error Correction of Business Process Models
As order dependencies between process tasks can get complex, it is easy to make mistakes in process model design, especially behavioral ones such as deadlocks. Notions such as soun...
Mauro Gambini, Marcello La Rosa, Sara Migliorini, ...