{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:46:13Z","timestamp":1747579573383},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540547426"},{"type":"electronic","value":"9783540464464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540547428_44","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:13:42Z","timestamp":1330211622000},"page":"80-100","source":"Crossref","is-referenced-by-count":7,"title":["Test data selection from algebraic specifications: Application to an automatic subway module"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Dauchy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Marre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,2]]},"reference":[{"key":"6_CR1","unstructured":"J. Goguen, J. Thatcher, E. Wagner \u201cAn initial algebra approach to the specification, correctness, and implementation of abstract data types\u201d Current Trends in Programming Methodology, Vol.4, Yeh Ed., Prentice Hall (1978)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"R. Burstall, J. Darlington \u201cA transformation system for developing recursive programs\u201d J. Assoc. Comput. Mach., 1 (1977)","DOI":"10.1145\/321992.321996"},{"key":"6_CR3","unstructured":"G. Bernot \u201cTesting against formal specifications: a theoretical view\u201d TAPSOFT 91, Brighton (April 91)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"G. Bernot, M.-C. Gaudel, B. Marre \u201cSoftware testing based on formal specifications: a theory and a tool\u201d Software Engineering Journal, to appear in November 1991 Also: LRI internal report n\u2134581 (June 1990)","DOI":"10.1049\/sej.1991.0040"},{"key":"6_CR5","unstructured":"N. Choquet \u201cTest data generation using a PROLOG with constraints\u201d Workshop on Software Testing, Banff, Canada, IEEE Catalog Number 86TH0144-6, pp. 132\u2013141 (July 1986)"},{"key":"6_CR6","unstructured":"P. Dauchy \u201cApplication de la m\u00e9thode PLUSS de sp\u00e9cification formelle \u00e0 une fonction du m\u00e9tro de Lyon\u201d Journ\u00e9e AFCET-INRETS \u201cConception et Validation des Logiciels de S\u00e9curit\u00e9 dans les Transports Terrestres\u201d, Lille (June 1989)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"H. Ehrig, B. Mahr \u201cFundamentals of Algebraic Specification\u201d EATCS Monographs on Theoretical Computer Science 6, Springer-Verlag (1985)","DOI":"10.1007\/978-3-642-69962-7"},{"key":"6_CR8","unstructured":"L. Fribourg \u201cSLOG, a logic programming language interpreter based on clausal superposition and rewriting\u201d International Symposium on Logic Programming, Boston (July 1985)"},{"key":"6_CR9","unstructured":"M.-C. Guillaumin \u201cSp\u00e9cification de l'UGE s\u00e9curitaire (\u00e9dition 8)\u201d Internal MAGGALY document, September 1988"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"H. Hussmann \u201cUnification in Conditional-Equational Theories\u201d Technical Report MIP-8502, U. Passau (January 1985) R\u00e9sum. Proc. EUROCAL 85 Conf., Linz.","DOI":"10.1007\/3-540-15984-3_328"},{"key":"6_CR11","unstructured":"L. Kott \u201cDes substitutions dans les syst\u00e8mes d'\u00e9quations alg\u00e9briques sur le magma, application aux transformations de programmes et \u00e0 leur correction\u201d Th\u00e8se d'Etat, Universit\u00e9 Paris 7 (June 1980)"},{"key":"6_CR12","unstructured":"L. Naish \u201cAn introduction to MPU-PROLOG\u201d Technical report, 82\/2, Dept. of Computer Science, U. of Melbourne (1982)"}],"container-title":["Lecture Notes in Computer Science","ESEC '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540547428_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:56:24Z","timestamp":1605646584000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540547428_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547426","9783540464464"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3540547428_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}