279 search results - page 28 / 56 » Applying Reduction Techniques to Software Functional Require... |
106
click to vote
FORTE
1997
15 years 1 months ago
1997
Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provide...
133
click to vote
KDD
2003
ACM
16 years 7 days ago
2003
ACM
In today's industry, the design of software tests is mostly based on the testers' expertise, while test automation tools are limited to execution of pre-planned tests on...
ADAEUROPE
2005
Springer
15 years 5 months ago
2005
Springer
Transparent system support for software fault tolerance reduces performance in general and precludes application-specific optimizations in particular. In contrast, explicit support...
TSE
2008
14 years 11 months ago
2008
Neglected conditions are an important but difficult-to-find class of software defects. This paper presents a novel approach for revealing neglected conditions that integrates stati...
106
click to vote
SAC
2000
ACM
15 years 3 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...