432 search results - page 13 / 87 » Automated testing of refactoring engines |
125
Voted
ICST
2010
IEEE
14 years 10 months ago
2010
IEEE
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...
80
Voted
ICFEM
2005
Springer
15 years 6 months ago
2005
Springer
163
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
99
Voted
PPDP
2009
Springer
15 years 7 months ago
2009
Springer
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
104
Voted
ICSE
2004
IEEE-ACM
16 years 16 days ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...