Search Sciweavers | Sciweavers

456 search results - page 8 / 92

» Automated Generation of Context-Aware Tests

click to vote

PCS
2008

52views more PCS 2008»

Automation of broad sanity test generation

13 years 6 months ago

Download panda.ispras.ru

R. S. Zybin, Victor V. Kuliamin, A. V. Ponomarenko...

claim paper

Read More »

click to vote

NFM
2011

366views Formal Methods» more NFM 2011»

Automated Test Case Generation with SMT-Solving and Abstract Interpretation

13 years 1 months ago

Download www.informatik.uni-bremen.de

Jan Peleska, Elena Vorobev, Florian Lapschies

claim paper

Read More »

click to vote

APN
2011
Springer

270views Artificial Intelligence» more APN 2011»

A Tool for Automated Test Code Generation from High-Level Petri Nets

12 years 10 months ago

Download www.homepages.dsu.edu

Dianxiang Xu

claim paper

Read More »

click to vote

FATES
2003
Springer

134views Software Engineering» more FATES 2003»

JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit

13 years 12 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 »

click to vote

DAC
1999
ACM

149views Computer Architecture» more DAC 1999»

Micro Architecture Coverage Directed Generation of Test Programs

14 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers