Search Sciweavers | Sciweavers

3090 search results - page 70 / 618

» On Testing Answer-Set Programs

click to vote

TSE
2011

145views more TSE 2011»

Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging

13 years 4 months ago

Download www.cs.hku.hk

— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...

Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou

claim paper

Read More »

click to vote

SIGSOFT
2010
ACM

193views Software Engineering» more SIGSOFT 2010»

Basset: a tool for systematic testing of actor programs

13 years 7 months ago

Download mir.cs.illinois.edu

This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...

Steven Lauterburg, Rajesh K. Karmani, Darko Marino...

claim paper

Read More »

click to vote

CP
2005
Springer

95views Artificial Intelligence» more CP 2005»

Test Instance Generation for MAX 2SAT

14 years 3 months ago

Download fjcp2005.free.fr

Mistuo Motoki

claim paper

Read More »