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
456
search results - page 8 / 92
»
Automated Generation of Context-Aware Tests
Sort
relevance
views
votes
recent
update
View
thumb
title
71
Voted
PCS
2008
52
views
more
PCS 2008
»
Automation of broad sanity test generation
15 years 3 months ago
Download
panda.ispras.ru
R. S. Zybin, Victor V. Kuliamin, A. V. Ponomarenko...
claim paper
Read More »
243
Voted
NFM
2011
366
views
Formal Methods
»
more
NFM 2011
»
Automated Test Case Generation with SMT-Solving and Abstract Interpretation
14 years 11 months ago
Download
www.informatik.uni-bremen.de
Jan Peleska, Elena Vorobev, Florian Lapschies
claim paper
Read More »
180
Voted
APN
2011
Springer
270
views
Artificial Intelligence
»
more
APN 2011
»
A Tool for Automated Test Code Generation from High-Level Petri Nets
14 years 7 months ago
Download
www.homepages.dsu.edu
Dianxiang Xu
claim paper
Read More »
154
click to vote
FATES
2003
Springer
134
views
Software Engineering
»
more
FATES 2003
»
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
15 years 9 months ago
Download
www.cse.ohio-state.edu
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
Guoqing Xu, Zongyuang Yang
claim paper
Read More »
95
Voted
DAC
1999
ACM
149
views
Computer Architecture
»
more
DAC 1999
»
Micro Architecture Coverage Directed Generation of Test Programs
16 years 5 months ago
Download
www.research.ibm.com
Shmuel Ur, Yaov Yadin
claim paper
Read More »
« Prev
« First
page 8 / 92
Last »
Next »