1516 search results - page 52 / 304 » Trends in Software Verification |
ICSE
2007
IEEE-ACM
15 years 3 months ago
2007
IEEE-ACM
Performance is a pervasive quality of software systems; everything affects it, from the software itself to all underlying layers, such as operating system, middleware, hardware, c...
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
Mobility is redefining the hardware and software fabric of distributed systems. Wireless communication allows network hosts to participate in a distributed computation while on t...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
This paper shows how software engineering technologies used to define and analyze complex software systems can also be effective in detecting defects in human-intensive processes ...
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...