Towards testing concurrent objects in CLP

DOI10.4230/LIPICS.ICLP.2012.98MaRDI QIDQ5398047zbMATH OpenOpenAlexFDO

Authors Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa

Publication date 25 February 2014

Full work available at URL http://drops.dagstuhl.de/opus/volltexte/2012/3613/pdf/11.pdf

zbMATH Keywords

active objectsglass-box test data generationsymbolic executiontesting

Mathematics Subject Classification ID

Logic programming (68N17) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Test case generation for object-oriented imperative languages in CLP
• Concolic testing in CLP
• Testing Concurrent Objects with Application-Specific Schedulers
• Test case generation of actor systems
• scientific article; zbMATH DE number 49815

Cited in

(6)

• scientific article; zbMATH DE number 1696810 (Why is no real title available?)
• Test case generation of actor systems
• scientific article; zbMATH DE number 2086804 (Why is no real title available?)
• Towards modelling actor-based concurrency in term rewriting
• Testing Concurrent Objects with Application-Specific Schedulers
• FM 2005: Formal Methods

Describes a project that uses

Uses Software

• ConTest

This page was built for publication: Towards testing concurrent objects in CLP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5398047)