64 search results - page 12 / 13 » Traceability codes |
SIGSOFT
2004
ACM
16 years 16 days ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
ACMSE
2007
ACM
15 years 3 months ago
2007
ACM
Testing is an essential but often under-utilized area of software engineering. A variety of software testing techniques have been developed to effectively identify bugs in source ...
107
click to vote
KBSE
2010
IEEE
14 years 10 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...