2132 search results - page 66 / 427 » Automated software winnowing |
110
click to vote
INFSOF
2002
14 years 10 months ago
2002
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...
ICSE
2004
IEEE-ACM
15 years 11 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...
107
click to vote
KBSE
2005
IEEE
15 years 4 months ago
2005
IEEE
User-session-based testing of web applications gathers user sessions to create and continually update test suites based on real user input in the field. To support this approach ...
ISSRE
2010
IEEE
14 years 9 months ago
2010
IEEE
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
94
Voted
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Software refactoring is the process of reorganizing the internal structure of code while preserving the external behavior. Aspect-Oriented Programming (AOP) provides new modulariz...