Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)
Elvira Albert, Puri Arenas, and Miguel Gómez-Zamalloa. Towards Testing Concurrent Objects in CLP. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 98-108, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@InProceedings{albert_et_al:LIPIcs.ICLP.2012.98, author = {Albert, Elvira and Arenas, Puri and G\'{o}mez-Zamalloa, Miguel}, title = {{Towards Testing Concurrent Objects in CLP}}, booktitle = {Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)}, pages = {98--108}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-43-9}, ISSN = {1868-8969}, year = {2012}, volume = {17}, editor = {Dovier, Agostino and Santos Costa, V{\'\i}tor}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.98}, URN = {urn:nbn:de:0030-drops-36134}, doi = {10.4230/LIPIcs.ICLP.2012.98}, annote = {Keywords: Testing, Glass-box Test Data Generation, Active Objects, Symbolic Execution} }
Published in: LIPIcs, Volume 1, 25th International Symposium on Theoretical Aspects of Computer Science (2008)
Pilar Albert, Elvira Mayordomo, Philip Moser, and Sylvain Perifel. Pushdown Compression. In 25th International Symposium on Theoretical Aspects of Computer Science. Leibniz International Proceedings in Informatics (LIPIcs), Volume 1, pp. 39-48, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{albert_et_al:LIPIcs.STACS.2008.1332, author = {Albert, Pilar and Mayordomo, Elvira and Moser, Philip and Perifel, Sylvain}, title = {{Pushdown Compression}}, booktitle = {25th International Symposium on Theoretical Aspects of Computer Science}, pages = {39--48}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-06-4}, ISSN = {1868-8969}, year = {2008}, volume = {1}, editor = {Albers, Susanne and Weil, Pascal}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2008.1332}, URN = {urn:nbn:de:0030-drops-13327}, doi = {10.4230/LIPIcs.STACS.2008.1332}, annote = {Keywords: Finite-state compression, Lempel-Ziv algorithm, pumping-lemma, pushdown compression, XML document} }
Feedback for Dagstuhl Publishing