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
297
search results - page 12 / 60
»
Model-Based Tests of Truisms
Sort
relevance
views
votes
recent
update
View
thumb
title
102
click to vote
COMPSAC
2005
IEEE
120
views
Software Engineering
»
more
COMPSAC 2005
»
Model-Based Software Testing and Verification
15 years 9 months ago
Download
conferences.computer.org
tract Co-Chairs Fei Xie, Portland State University, USA Jeff Lei, University of Texas at Arlington, USA Program Committee Members Sheikh Iqbal Ahamed, Marquette University, USA Doo...
Aditya P. Mathur
claim paper
Read More »
99
click to vote
FM
2005
Springer
92
views
Formal Methods
»
more
FM 2005
»
Model-Based Testing in Practice
15 years 9 months ago
Download
aetgweb.argreenhouse.com
Alexander Pretschner
claim paper
Read More »
99
Voted
ICFEM
2005
Springer
119
views
Software Engineering
»
more
ICFEM 2005
»
A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing
15 years 9 months ago
Download
paginas.fe.up.pt
Ana Paiva, João C. P. Faria, Nikolai Tillma...
claim paper
Read More »
111
click to vote
TGC
2005
Springer
90
views
Applied Computing
»
more
TGC 2005
»
Model-Based Testing of Cryptographic Protocols
15 years 9 months ago
Download
research.microsoft.com
Dean Rosenzweig, Davor Runje, Wolfram Schulte
claim paper
Read More »
104
Voted
FATES
2006
Springer
121
views
Software Engineering
»
more
FATES 2006
»
Multi-paradigmatic Model-Based Testing
15 years 7 months ago
Download
research.microsoft.com
Wolfgang Grieskamp
claim paper
Read More »
« Prev
« First
page 12 / 60
Last »
Next »