16725 search results - page 10 / 3345 » Engineering Software Correctness |
103
Voted
EDO
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....
78
Voted
COMPSEC
2010
14 years 8 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
Financial companies, engineering firms and even scientists create increasingly larger spreadsheets and spreadsheet programs. The creators of large spreadsheets make errors and mus...
101
click to vote
SEW
2003
IEEE
15 years 5 months ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
104
Voted
ICSM
1993
IEEE
15 years 3 months ago
1993
IEEE
The purpose of regression testing is to ensure that bug xes and new functionality introduced in a new version of a software do not adversely a ect the correct functionality inheri...