7209 search results - page 1192 / 1442 » Software Engineering for Multi-Agent Systems |
104
Voted
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
91
Voted
ICSE
1999
IEEE-ACM
15 years 4 months ago
1999
IEEE-ACM
The widespread use of GUIs for interacting with software is leading to the construction of more and more complex GUIs. With the growing complexity comes challenges in testing the ...
87
Voted
APL
1998
ACM
15 years 4 months ago
1998
ACM
This article describes our experience with test suites and automated branch coverage tools for APL software maintenance, based on our use of them to verify Y2K compliance of an AP...
ICSE
1993
IEEE-ACM
15 years 4 months ago
1993
IEEE-ACM
Features are often the basic unit of development for a very large software systems and represent long-term efforts, spanning up to several years from inception to actual use. Deve...
95
Voted
RE
2008
Springer
15 years 8 hour ago
2008
Springer
Missing or imprecise requirements can lead stakeholders to make incorrect assumptions. A "Not a Problem" defect report (NaP) describes a software behavior that a stakeho...