1799 search results - page 258 / 360 » The Logic of Correctness in Software Engineering |
180
click to vote
CBSE
2011
Springer
14 years 6 months ago
2011
Springer
Software components are increasingly assembled from other components. Each component may further depend on others, and each may have multiple active versions. The total number of ...
175
click to vote
ACL2
2006
ACM
16 years 13 days ago
2006
ACM
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
218
click to vote
ISSTA
2012
ACM
13 years 9 months ago
2012
ACM
Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detec...
287
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
172
click to vote
GPCE
2007
Springer
16 years 19 days ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...