2419 search results - page 148 / 484 » A Formal Approach to Software Testing |
156
click to vote
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
144
Voted
IIE
2007
15 years 3 months ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...
151
click to vote
WCRE
2003
IEEE
15 years 8 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
143
Voted
SAC
2000
ACM
15 years 7 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...
112
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...