16725 search results - page 51 / 3345 » Engineering Software Correctness |
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various typ...
101
click to vote
APAQS
2001
IEEE
15 years 3 months ago
2001
IEEE
Software inspection is recognised as the most effective means of finding defects. In spite of its important role in software development, existing capability models have not addre...
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Model Driven Development (MDD) is an emerging paradigm for software construction that uses models to specify programs, and model transformations to synthesize executables. Feature...
ICSE
2008
IEEE-ACM
15 years 12 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
SEFM
2009
IEEE
15 years 6 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...