3316 search results - page 293 / 664 » Mining Software Engineering Data |
129
click to vote
QSIC
2003
IEEE
15 years 9 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
133
Voted
KBSE
2002
IEEE
15 years 8 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
131
Voted
ADAEUROPE
2001
Springer
15 years 8 months ago
2001
Springer
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
109
Voted
PFE
2001
Springer
15 years 8 months ago
2001
Springer
Software product lines promise benefits like development and maintenance effort reduction, time to market decrease, and quality improvement, all resulting from planned and systemat...
127
Voted
SEKE
1994
Springer
15 years 7 months ago
1994
Springer
Scienti c research addressing global change continues to generate large quantities of information for analysis and understanding. However, the volume, distributed nature, and dive...