1689 search results - page 213 / 338 » Empirical Methodologies in Software Engineering |
110
click to vote
ESEM
2007
ACM
15 years 5 months ago
2007
ACM
Providing robust decision support for software engineering (SE) requires the collection of data across multiple contexts so that one can begin to elicit the context variables that...
124
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
111
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Concurrent programs are notoriously difficult to debug. We see two main reasons for this: 1) concurrency bugs are often difficult to reproduce, 2) traces of buggy concurrent execu...
130
click to vote
ACMSE
2008
ACM
15 years 3 months ago
2008
ACM
As computers become increasingly integral to daily life there is a need for computer scientists to focus on the user. This, in part, entails developing applications that have inte...
JSS
2002
15 years 1 months ago
2002
Most software development errors are caused by incorrect or ambiguous requirement specifications gathered during the requirement elicitation and analysis phase. For the past decad...