{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:20:44Z","timestamp":1729628444102,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/empdp.2003.1183604","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T19:24:01Z","timestamp":1075836241000},"page":"308-315","source":"Crossref","is-referenced-by-count":1,"title":["Generation of conformance test suites for parallel and distributed languages and APIs"],"prefix":"10.1109","author":[{"given":"L.","family":"Garstecki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"UML Distilled: A Brief Guide To The Standard Object Modelling Language","year":"2000","author":"fowler","key":"ref10"},{"key":"ref11","first-page":"323","article-title":"Testing for conformance of parallel programming pattern languages","author":"garstecki","year":"2001","journal-title":"Lecture Notes in Computer Science"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/978-1-4615-1167-0_21","article-title":"Conformace testing of parallel languages","volume":"706","author":"garstecki","year":"2002","journal-title":"Distributed and Parallel Systems Cluster and Grid Computing"},{"article-title":"Understanding Z","year":"1992","author":"spivey","key":"ref13"},{"journal-title":"NIST-PCTS 151–2 Instalation and Testing Guide","article-title":"Systems Laboratory","year":"1995","key":"ref14"},{"key":"ref15","article-title":"Patternfor Concurrent Networked Objects","author":"schmidt stal","year":"2000","journal-title":"Pattern-Oriented Software Architecture"},{"journal-title":"Athapascan-1","year":"2001","author":"team","key":"ref16"},{"key":"ref4","article-title":"Programming languages, their environments and system software interfaces-Vienna Development Method-Specification Language","volume":"1","year":"1996","journal-title":"ISO\/IEC 13817–1 Information technology"},{"journal-title":"ISO\/IEC 9945–1 1996(E) IEEE Std 1003 1 Information Technology","article-title":"Portable Operating System Interface (POSIXR)-Part 1: System Application Program Interface (API) [C Language}","year":"0","key":"ref3"},{"article-title":"The B Book-Assigning Programs to Meanings","year":"1996","author":"abrial","key":"ref6"},{"journal-title":"ISO\/IEC 18009 1999 Information technology","article-title":"Programming languages-Ada: Conformity Assessment of a Language Processor","year":"1999","key":"ref5"},{"article-title":"The Ada Conformity Assessment Test Suite (A CATS), Version 2.4, User's Guide","year":"2001","author":"brukardt","key":"ref8"},{"journal-title":"Systemaitic Black-Box Testing of Computer-Based Systems through Formal Abstraction Techniques","year":"2001","author":"aichernig","key":"ref7"},{"key":"ref2","first-page":"9646","article-title":"Information technology","year":"1994","journal-title":"Open systems interconnection conformance testing methodology and framework"},{"journal-title":"ISO\/IEC 13210 1999(E) IEEE Std 2003 Information Technology","article-title":"Requirements and Guidelines for Test Methods Specifications and Test Method Implementations for Measuring Conformance to POSIX Standards","year":"0","key":"ref1"},{"article-title":"Parallel Program Development for Cluster Computing: Methodology, Tools and Integrated Environments","year":"2000","author":"cunha","key":"ref9"}],"event":{"name":"Proceedings Eleventh Euromicro Conference on Parallel, Distributed and Network-Based Processing","start":{"date-parts":[[2003,2,5]]},"location":"Genova, Italy","end":{"date-parts":[[2003,2,7]]}},"container-title":["Eleventh Euromicro Conference on Parallel, Distributed and Network-Based Processing, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8434\/26558\/01183604.pdf?arnumber=1183604","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T16:15:00Z","timestamp":1585498500000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1183604\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/empdp.2003.1183604","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}