1492 search results - page 223 / 299 » Automatic Software Model Checking Using CLP |
ICSM
2006
IEEE
15 years 3 months ago
2006
IEEE
Although the world-wide-web (WWW) has significantly enhanced open-source software (OSS) development, it has also created new challenges for quality assurance (QA), especially for...
TACAS
2005
Springer
15 years 3 months ago
2005
Springer
SAT-based Predicate Abstraction for ANSI-C Edmund Clarke1 Daniel Kroening2 Natasha Sharygina1,3 Karen Yorav4 1 Carnegie Mellon University, School of Computer Science 2 ETH Zuerich,...
SSR
2001
14 years 11 months ago
2001
As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Mobile agents are units of software that can deal wit...
ECMDAFA
2009
Springer
14 years 7 months ago
2009
Springer
Technological and business changes influence the evolution of software systems. When this happens, the software artifacts may need to be adapted to the changes. This need is rapidl...
ICSE
1998
IEEE-ACM
15 years 2 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...