3544 search results - page 171 / 709 » Software Testing |
146
Voted
ICSE
2009
IEEE-ACM
15 years 8 days ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
Component-based development is the emerging paradigm in software production, though several challenges still slow down its full taking up. In particular, the "component trust...
123
click to vote
ICSE
2003
IEEE-ACM
15 years 7 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
ICSEA
2007
IEEE
15 years 8 months ago
2007
IEEE
Following the agile philosophy that all core features of a system need an automated test harness, performance requirements also need such a check when they are essential for the s...
106
Voted
ISSE
2010
2010
An approach to applying SOFL for agile process and its application in developing a test support tool
15 years 1 months ago
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...