758 search results - page 17 / 152 » Pattern-Constrained Test Case Generation |
146
Voted
CORR
2010
Springer
15 years 17 hour ago
2010
Springer
In the paper, an evolutionary approach to test generation for functional BIST is considered. The aim of the proposed scheme is to minimize the test data volume by allowing the dev...
134
Voted
ICSE
2009
IEEE-ACM
15 years 10 days ago
2009
IEEE-ACM
Software security issues have been a major concern to the cyberspace community, so a great deal of research on security testing has been performed, and various security testing te...
106
Voted
ECBS
2010
IEEE
15 years 8 months ago
2010
IEEE
The Uniļ¬ed Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
132
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
āModel-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
114
Voted
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...