414 search results - page 83 / 83 » Using Strongest Postconditions to Improve Software Quality |
AINTEC
2007
Springer
13 years 11 months ago
2007
Springer
With the tremendous growth of World Wide Web (WWW), the door has been opened to a multitude of services and information for even the most casual of users. Today, many wireless and ...
SELMAS
2004
Springer
13 years 10 months ago
2004
Springer
The development of Multi-Agent Systems (MASs) involves special concerns, such as interaction, adaptation, autonomy, among others. Many of these concerns are overlapping, crosscut e...
EACL
1993
ACL Anthology
13 years 6 months ago
1993
ACL Anthology
In this paper, we describe a method for structural noun phrase disambiguation which mainly relies on the examination of the text corpus under analysis and doesn't need to int...
PLDI
2011
ACM
12 years 8 months ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...