2127 search results - page 35 / 426 » Software Automation |
COMPSAC
2008
IEEE
15 years 19 days ago
2008
IEEE
Model-driven engineering proposes to develop software systems by first creating an executable model of the system design and then transforming this model into an implementation. T...
76
Voted
FASE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements in a progra...
99
Voted
ICSE
2009
IEEE-ACM
15 years 5 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
114
click to vote
AOSE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they shou...
117
Voted
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool au...