Sciweavers

456 search results - page 8 / 92

» Automated Generation of Context-Aware Tests

107

PCS
2008

52views more PCS 2008»

Automation of broad sanity test generation

15 years 7 months ago

Automation of broad sanity test generation

Download panda.ispras.ru

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

claim paper

Read More »

342

Voted

NFM
2011

366views Formal Methods» more NFM 2011»

Automated Test Case Generation with SMT-Solving and Abstract Interpretation

15 years 2 months ago

Automated Test Case Generation with SMT-Solving and Abstract Interpretation

Download www.informatik.uni-bremen.de

Jan Peleska, Elena Vorobev, Florian Lapschies

claim paper

Read More »

235

Voted

APN
2011
Springer

270views Artificial Intelligence» more APN 2011»

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

14 years 10 months ago

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

Download www.homepages.dsu.edu

Dianxiang Xu

claim paper

Read More »

218

FATES
2003
Springer

134views Software Engineering» more FATES 2003»

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

16 years 7 days ago

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

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 »

138

DAC
1999
ACM

149views Computer Architecture» more DAC 1999»

Micro Architecture Coverage Directed Generation of Test Programs

16 years 8 months ago

Micro Architecture Coverage Directed Generation of Test Programs

Download www.research.ibm.com

Shmuel Ur, Yaov Yadin

claim paper

Read More »

« Prev « First page 8 / 92 Last » Next »