2419 search results - page 278 / 484 » A Formal Approach to Software Testing |
138
click to vote
CADUI
2006
15 years 5 months ago
2006
: Participatory design and model-based approaches are two major HCI design approaches. Traditionally opposed, the first ones promote user's creativity while the second ones su...
148
click to vote
COMPSAC
2008
IEEE
15 years 10 months ago
2008
IEEE
— In software testing and maintenance activities, the observed faults and bugs are reported in bug report managing systems (BRMS) for further analysis and repair. According to th...
149
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
We present CodeGenie, a tool that implements a test-driven approach to search and reuse of code available on largescale code repositories. With CodeGenie, developers design test c...
128
click to vote
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
—Many modern software systems are designed to be highly configurable so they can run on and be optimized for a wide variety of platforms and usage scenarios. Testing such systems...
109
Voted
FASE
2004
Springer
15 years 9 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...