Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
758
search results - page 15 / 152
»
Pattern-Constrained Test Case Generation
Sort
relevance
views
votes
recent
update
View
thumb
title
102
Voted
FATES
2004
Springer
79
views
Software Engineering
»
more
FATES 2004
»
Symbolic Test Case Generation for Primitive Recursive Functions
15 years 8 months ago
Download
www.brucker.ch
Achim D. Brucker, Burkhart Wolff
claim paper
Read More »
87
Voted
KBSE
2003
IEEE
99
views
Software Engineering
»
more
KBSE 2003
»
Automated Requirements-based Generation of Test Cases for Product Families
15 years 8 months ago
Download
www.irisa.fr
Clémentine Nebut, Simon Pickin, Yves Le Tra...
claim paper
Read More »
97
Voted
ICSE
2009
IEEE-ACM
108
views
Software Engineering
»
more
ICSE 2009
»
The Automated Generation of Test Cases Using an Extended Domain Based Reliability Model
15 years 7 months ago
Download
ast2009.com
Alberto Avritzer, Elaine J. Weyuker
claim paper
Read More »
99
Voted
FM
2001
Springer
101
views
Formal Methods
»
more
FM 2001
»
Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System
15 years 7 months ago
Download
cs.haifa.ac.il
Laurent Arditi, Hédi Boufaïed, Arnaud ...
claim paper
Read More »
65
Voted
ASPDAC
2000
ACM
102
views
Hardware
»
more
ASPDAC 2000
»
Causality based generation of directed test cases
15 years 7 months ago
Download
www.ninasaxena.com
Nina Saxena, Jacob A. Abraham, Avijit Saha
claim paper
Read More »
« Prev
« First
page 15 / 152
Last »
Next »