Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison-Reference-Cited by-同舟云学术

Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison

Published:2011 Issue: Volume: Page:242-247
ISSN:0302-9743
Container-title:Logic Programming and Nonmonotonic Reasoning
language:
Short-container-title:

Author:

Janhunen Tomi,Niemelä Ilkka,Oetsch Johannes,Pührer Jörg,Tompits Hans

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-20895-9_26

Reference8 articles.

1. Janhunen, T., Niemelä, I., Oetsch, J., Pührer, J., Tompits, H.: On testing answer-set programs. In: Proc. ECAI 2010, pp. 951–956. IOS Press, Amsterdam (2010)

2. Hamlet, R.: Random testing. In: Encyclopedia of Software Engineering, pp. 970–978. Wiley, Chichester (1994)

3. Lecture Notes in Computer Science;M. Denecker,2009

4. DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection help for the practicing programmer. IEEE Computer 11(4), 34–41 (1978)

5. Lecture Notes in Artificial Intelligence;M. Gebser,2007

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Unit Testing in ASP Revisited: Language and Test-Driven Development Environment;Theory and Practice of Logic Programming;2024-04-02

2. Rethinking Answer Set Programming Templates;Lecture Notes in Computer Science;2023

3. Beyond Uniform Equivalence between Answer-set Programs;ACM Transactions on Computational Logic;2021-01-31

4. Testing in ASP: Revisited Language and Programming Environment;Logics in Artificial Intelligence;2021

5. $$\mathsf {Harvey}$$ : A System for Random Testing in ASP;Logic Programming and Nonmonotonic Reasoning;2017