432 search results - page 13 / 87 » Automated testing of refactoring engines |
154
Voted
ICST
2010
IEEE
15 years 1 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...
101
Voted
ICFEM
2005
Springer
15 years 9 months ago
2005
Springer
193
Voted
ATAL
2008
Springer
15 years 5 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...
132
Voted
PPDP
2009
Springer
15 years 10 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 ...
144
Voted
ICSE
2004
IEEE-ACM
16 years 3 months 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...