https://wiki.hh.se/ceres/index.php?action=history&feed=atom&title=Publications%3ASynchrony_and_asynchrony_in_conformance_testingPublications:Synchrony and asynchrony in conformance testing - Revision history2026-05-23T02:45:57ZRevision history for this page on the wikiMediaWiki 1.22.6https://wiki.hh.se/ceres/index.php?title=Publications:Synchrony_and_asynchrony_in_conformance_testing&diff=4148&oldid=prevSlawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim Willemse |PID=651..."2014-06-26T03:43:45Z<p>Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim Willemse |PID=651..."</p>
<p><b>New page</b></p><div><div style='display: none'><br />
== Do not edit this section ==<br />
</div><br />
{{PublicationSetupTemplate|Author=Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim Willemse<br />
|PID=651740<br />
|Name=Noroozi, Neda (Eindhoven University of Technology) (Department of Computer Science);Khosravi, Ramtin (University of Tehran);Mousavi, Mohammad Reza [mohmou] (Eindhoven University of Technology) (Department of Computer Science);Willemse, Tim (Eindhoven University of Technology) (Department of Computer Science)<br />
|Title=Synchrony and asynchrony in conformance testing<br />
|PublicationType=Journal Paper<br />
|ContentType=Refereegranskat<br />
|Language=eng<br />
|Journal=Journal of Software and Systems Modeling (online)<br />
|JournalISSN=1619-1374<br />
|Status=published<br />
|Volume=<br />
|Issue=<br />
|HostPublication=<br />
|Conference=<br />
|StartPage=<br />
|EndPage=<br />
|Year=2013<br />
|Edition=<br />
|Pages=<br />
|City=<br />
|Publisher=Springer<br />
|Series=<br />
|SeriesISSN=<br />
|ISBN=<br />
|Urls=<br />
|ISRN=<br />
|DOI=http://dx.doi.org/10.1007/s10270-012-0302-8<br />
|ISI=<br />
|PMID=<br />
|ScopusId=<br />
|NBN=urn:nbn:se:hh:diva-23681<br />
|LocalId=<br />
|ArchiveNumber=<br />
|Keywords=Input Output Conformance Testing;Asynchronous Systems<br />
|Categories=Data- och informationsvetenskap (102)<br />
|ResearchSubjects=<br />
|Projects=<br />
|Notes=<br />
|Abstract=<p>We present and compare different notions of conformance testing based on labeled transition systems. We formulate and prove several theorems which enable using synchronous conformance testing techniques such as input–output conformance testing (<strong>ioco</strong> ) in order to test implementations only accessible through asynchronous communication channels. These theorems define when the synchronous test cases are sufficient for checking all aspects of conformance that are observable by asynchronous interaction with the implementation under test.</p><br />
|Opponents=<br />
|Supervisors=<br />
|Examiners=<br />
|Patent=<br />
|ThesisLevel=<br />
|Credits=<br />
|Programme=<br />
|Subject=<br />
|Uppsok=<br />
|DefencePlace=<br />
|DefenceLanguage=<br />
|DefenceDate=<br />
|CreatedDate=2013-09-27<br />
|PublicationDate=2013-09-27<br />
|LastUpdated=2013-10-30<br />
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:651740}}<br />
<div style='display: none'><br />
<br />
== Keep all hand-made modifications below ==<br />
</div>{{PublicationDisplayTemplate}}</div>Slawek