432 search results - page 70 / 87 » Automated testing of refactoring engines |
102
click to vote
APSEC
2001
IEEE
15 years 2 months ago
2001
IEEE
Accelerating the learning curve of software maintainers working on systems with which they have little familiarity motivated this study. A working hypothesis was that automated me...
UIST
1995
ACM
15 years 2 months ago
1995
ACM
Project LISTEN stands for “Literacy Innovation that Speech Technology ENables.” We will demonstrate a prototype automated reading coach that displays text on a screen, listens...
NN
2006
Springer
14 years 10 months ago
2006
Springer
In a number of engineering problems, e.g. in geotechnics, petroleum engineering, etc. intervals of measured series data (signals) are to be attributed a class maintaining the cons...
ISSTA
2009
ACM
15 years 5 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
95
Voted
FDL
2008
IEEE
15 years 5 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...