CINXE.COM

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"><html lang="en"> <head> <title>Deakin University / All Locations</title> <base target="_self"/> <link rel="stylesheet" type="text/css" href="/scripts/ProStyles.css" /> <link rel="stylesheet" type="text/css" href="/screens/styles.css" /> <link rel="shortcut icon" type="ximage/icon" href="/screens/favicon.ico" /> <script type="text/javascript" src="/scripts/common.js"></script> <script type="text/javascript" src="/scripts/webbridge.js"></script> <script type="text/javascript" src="/scripts/elcontent.js"></script> <meta http-equiv="X-UA-Compatible" content="IE=8;FF=3;OtherUA=4"><script type="text/javascript" src="/screens/iiilangswitch.js"></script><link rel="stylesheet" type="text/css" href="/screens/styles_print.css" media="print"><script type="text/javascript" src="/screens/bibdisplay.js"></script> </head> <body bgcolor="#FFFFFF" >     <script> window.dataLayer = window.dataLayer || []; window.dataLayer.push({ 'cmsType' : 'WebPAC-PRO' }); </script> <script>(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start': new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0], j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src= '//www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f); })(window,document,'script','dataLayer','GTM-N3CB');</script>  <script language="JavaScript" type="text/javascript">  </script> <script language="JavaScript1.1" type="text/javascript">  </script> <script type="text/javascript" src="/screens/js/gbsclasses.js"></script> <script type="text/javascript" src="/screens/js/gbsclasses.js"></script>  <noscript><div id="div-javascript">This page contains enriched content visible when JavaScript is enabled.</div></noscript> <div id="deakinwrapper">      <div id="header-new">   <iframe src="https://www.deakin.edu.au/library/media/static/deakin-header3" width="100%" height="115" scrolling="no" frameborder="0" style="margin: 0; vertical-align:bottom;" aria-label="Deakin header" title="Deakin header"></iframe> </div> <div class="pageContentColumn"> <div class="topLinks"> <ul id="topLinksList"> <li><a href="/patroninfo" title="Login to My Account" class="top-myaccount"><span class="buttonText">My Account</span></a></li> <li><a href="https://www.deakin.edu.au/library" title="Library home page" class="top-libhome"><span class="buttonText">Library Home</span></a></li> </ul> </div> <a name="content"></a>  <script type="text/JavaScript">  </script> <div id="TimeoutPopup" tabindex="0" class="modal" onkeypress="refreshSession(event)"> <div class="modal-content"> Your session will expire automatically in <span id=TimeoutSeconds>0</span> seconds.<br> <br> <button id="CancelTimeout" onclick="refreshSession()">Continue session</button> <button id="DoTimeout" onclick="endSession()">End session now</button></div> </div> <noscript> <meta http-equiv="Refresh" content="18000;URL=/" /> </noscript>  <div id="bibDisplayBody"> <div class="navigationRowRecord"> <a href="/search~S1?/aZa{u00EF}cik%2C+Eva%2C/azaicik+eva/-3,-1,0,B/?save_func=save_to_mylist&save=b3918829&returnurl=/search~S1?/aZa{u00EF}cik%2C+Eva%2C/azaicik+eva/-3%2C-1%2C0%2CB/frameset&FF=azaidi+fatiha&2%2C%2C2"><span class="button buttonNav">Save to My Lists</span></a> <a href="/search~S1?/aZa{u00EF}cik%2C+Eva%2C/azaicik+eva/-3,-1,0,B/frameset&FF=azaidi+fatiha&2,,2?save=b3918829"><span class="button buttonNav">Export</span></a> <a href="/search~S1?/aZa{u00EF}cik%2C+Eva%2C/azaicik+eva/-3%2C-1%2C0%2CB/exact&FF=azaidi+fatiha&1%2C2%2C#anchor_2"><span class="button buttonNav">Return to Browse</span></a> </div> <div id="bibDisplayContent"> <div class="bibSearch"> <script type="text/JavaScript">  </script> <form name="searchtool" target="_self" action="/search~S1/" method='GET'> <label for="searchtype" style="display:none;">SearchType</label> <select name="searchtype" id="searchtype" onChange="initSort()"> <option value="X"> Keyword</option> <option value="t"> Title</option> <option value="a" selected="selected"> Author (Last name first)</option> <option value="d"> Subject</option> <option value="i"> ISBN/ISSN</option> <option value="c"> Call Number</option> <option value="f"> Unit Code</option> <option value="m"> Libraries Australia No.</option> <option value="l"> Library of Congress No.</option> </select>   <label for="searcharg" style="display:none;">Search</label><input type="text" name="searcharg" id="searcharg" size="30" onchange='return searchtoolSubmitAction()'maxlength="75" value="Za茂cik, Eva," />   <label for="searchscope" style="display:none;">Search Scope</label><select name="searchscope" id="searchscope"> <option value="1" selected="selected"> Entire Collection</option> <option value="11"> Print Books</option> <option value="9"> E-books</option> <option value="12"> All books</option> <option value="10"> E-journals</option> <option value="6"> All journals</option> <option value="13"> Databases</option> <option value="3"> All e-resources</option> <option value="2"> Streaming Video</option> <option value="14"> DVDs</option> <option value="5"> Curriculum Resources</option> <option value="4"> Deakin Theses</option> <option value="8"> Special Collections</option> <option value="7"> GIFT City</option> <option value="15"> Melbourne Burwood</option> <option value="16"> Warrnambool</option> <option value="17"> Geelong Waterfront</option> <option value="18"> Geelong Waurn Ponds</option> </select>   <span id="sort_cell"> </span> <script type="text/JavaScript">  </script> <input type="hidden" name="SORT" value="D" /><input type="hidden" name="extended" value="0" /> <input type="submit" name="SUBMIT" value="Search" onclick='return searchtoolSubmitAction();' /> <div> <input type="checkbox" name="availlim" value="1" /> <span class="availLimMessage">Limit search to available items</span><br/> </div> <div> <input type="hidden" name="searchlimits" value="" /> <input type="hidden" name="searchorigarg" value="aZa{u00EF}cik, Eva," /> </div> </form> <div class="bibSearchHistory"> </div> </div>  <div class="bibPager"> <div>Record 2 of 2 </div> <a href="/search~S1?/aZa{u00EF}cik%2C+Eva%2C/azaicik+eva/-3%2C-1%2C0%2CB/frameset&FF=azaidi+fatiha&1%2C%2C2"><span class="button"><img src="/screens/ico_previous.gif" alt=""><span class="buttonText">Previous Record</span></span></a> <a href="/search~S1?/aZa{u00EF}cik%2C+Eva%2C/azaicik+eva/-3%2C1%2C1%2CB/frameset&FF=azaidi+h&1%2C1%2C"><span class="button"><span class="buttonText" id="buttonNextRecord">Next Record</span><img src="/screens/ico_next.gif" alt=""></span></a> </div> <div class="bibClear"></div> <div class="bibResourceSidebar">  <a href="/record=b3918829~S1"><span class="button buttonNav">&nbsp&nbspPermalink&nbsp&nbsp&nbsp&nbsp</span></a></div> <div class="bibDisplayJacket"> <img src="https://secure.syndetics.com/index.aspx?isbn=9783642245800/SC.gif&client=deaka&type=unbound" border="0" alt="Book Cover"><div class="bibMedia"> <img src="/screens/media_ebook.gif" alt="E-book"></div> </div> <div class="bibDisplayContentMain">  <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js" type="text/javascript"></script> <link href="https://maxcdn.bootstrapcdn.com/font-awesome/4.6.3/css/font-awesome.min.css" rel="stylesheet" integrity="sha384-T8Gy5hrqNKT+hzMclPo118YTQO6cYprQmhrYwIiQ/3axmI1hQomh7Ud2hPOy8SP1" crossorigin="anonymous"> <script src="https://www.stackmap.com/integration/deakin_webpac/StackMap.js" type="text/javascript"></script> <link rel="stylesheet" media="all" type="text/css" href="https://www.stackmap.com/integration/deakin_webpac/StackMap.css" />   <table width="100%" border="0" cellspacing="0" cellpadding="0" class="bibDetail"> <tr class="bibInfoEntry" ><td>  <table width="100%" cellspacing="3" cellpadding="0"> <tr> <td valign="top" width="20%" class="bibInfoLabel">Author</td> <td class="bibInfoData"> <a href="/search~S1?/aICTSS+2011+%282011+%3A+Paris%2C+France%29/aictss+++++2011+++++2011+paris+france/-3,-1,0,B/browse">ICTSS 2011 (2011 : Paris, France)</a> </td></tr> </table>  </td></tr> </table>  <h1 class="bibDisplayTitle">  <table width="100%" border="0" cellspacing="0" cellpadding="0" class="bibDetail"> <tr class="bibInfoEntry" ><td>  <table width="100%" cellspacing="3" cellpadding="0"> <tr> <td valign="top" width="20%" class="bibInfoLabel">Title</td> <td class="bibInfoData"> <strong>Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings / Burkhart Wolff, Fatiha Za茂di (eds.)</strong></td></tr> </table>  </td></tr> </table>    <table width="100%" border="0" cellspacing="0" cellpadding="0" class="bibDetail"> <tr class="bibInfoEntry" ><td>  <table width="100%" cellspacing="3" cellpadding="0"> <tr> <td valign="top" width="20%" class="bibInfoLabel">Published</td> <td class="bibInfoData"> Berlin ; New York : Springer, 漏2011</td></tr> </table>  </td></tr> </table>  <div class="testlinkeddocs"> </div> <div class="bibDisplayUrls"> <table width="100%" border="0" cellspacing="0" cellpadding="0" class="bibLinks"> <tr><th> Click on the following:</th></tr> <tr align="center"> <td > <a href="http://ezproxy.deakin.edu.au/login?url=https://link.springer.com/10.1007/978-3-642-24580-0" onclick="window.open('http://ezproxy.deakin.edu.au/login?url=https://link.springer.com/10.1007/978-3-642-24580-0'); return false;">Springer Computer Science eBooks</a><br /> </td> </tr> <tr align="center"> <td > <a href="http://ezproxy.deakin.edu.au/login?url=https://link.springer.com/10.1007/978-3-642-24580-0" onclick="window.open('http://ezproxy.deakin.edu.au/login?url=https://link.springer.com/10.1007/978-3-642-24580-0'); return false;">Springer eBooks</a><br /> </td> </tr> </table> </div> <div class="bibDisplayItems"> <div class="bibDisplayItemsHeader"><h2>Copies</h2></div> <div class="bibDisplayItemsMain"> </div> </div> <div class="bibDisplayContentMore">  <table width="100%" border="0" cellspacing="0" cellpadding="0" class="bibDetail"> <tr class="bibInfoEntry" ><td>  <table width="100%" cellspacing="3" cellpadding="0"> <tr> <td valign="top" width="20%" class="bibInfoLabel">Description</td> <td class="bibInfoData"> 1 online resource (x, 224 pages)</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Series</td> <td class="bibInfoData"> Lecture notes in computer science, 0302-9743 ; 7019</td></tr> <tr> <td></td> <td class="bibInfoData"> LNCS sublibrary. SL 2, Programming and software engineering</td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/tLecture+notes+in+computer+science+%3B+7019.+http%3A%2F%2Fid.loc.gov%2Fauthorities%2Fnames%2Fn42015162/tlecture+notes+in+computer+science+++++7019+http+id+loc+gov+authorities+names+n42015162/-3,-1,0,B/browse">Lecture notes in computer science ; 7019.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/tLNCS+sublibrary.+SL+2%2C+Programming+and+software+engineering.+http%3A%2F%2Fid.loc.gov%2Fauthorities%2Fnames%2Fno2007033954/tlncs+sublibrary+sl++++++++2+programming+and+software+engineering+http+id+loc+gov+authorities+names+no2007033954/-3,-1,0,B/browse">LNCS sublibrary. SL 2, Programming and software engineering.</a> </td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Contents</td> <td class="bibInfoData"> Counting for random testing / Marie-Claude Gaudel -- Formal testing of timed and probabilistic systems / Manuel N煤帽ez -- Improved usage model for web application reliability testing / Gregor v. Bochmann, Guy-Vincent Jourdan, and Bo Wan -- Measuring test properties coverage for evaluating UML/OCL model-based tests / Kalou Cabrera Castillos [and others] -- Conformance relations for distributed testing based on CSP / Ana Cavalcanti, Marie-Claude Gaudel, and Robert M. Hierons -- Praspel: a specification language for contract-based testing in PHP / Ivan Enderlin [and others] -- Using testing techniques for vulnerability detection in C programs / Amel Mammar [and others] -- Learning-based testing for reactive systems using term rewriting technology / Karl Meinke and Fei Niu -- Monitoring dynamical signals while testing timed aspects of a system / Goran Frehse [and others] -- Model-based testing of industrial transformational systems / Petur Olsen, Johan Foederer, and Jan Tretmans -- A real-world benchmark model for testing concurrent real-time systems in the automotive domain / Jan Peleska [and others] -- Adaptive testing of deterministic implementations specified by nondeterministic FSMs / Alexandre Petrenko and Nina Yevtushenko -- Compositional random testing using extended symbolic transition systems / Christian Schwarzl, Bernhard K. Aichernig, and Franz Wotawa -- An empirical study on applying anomaly detection technique to detecting software and communication failures in mobile data communication services / Hiroyuki Shinbo and Toru Hasegawa -- Assessing test adequacy for black-box systems without specifications / Neil Walkinshaw</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Summary</td> <td class="bibInfoData"> This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2011, held in Paris, France, in November 2011. The 13 revised full papers presented together with 2 invited talks were carefully selected from 40 submissions. The papers address the conceptual, theoretic, and practical problems of testing sofware systems, including communication protocols, services, distributed platforms, middleware, controllers, and security infrastructures</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Analysis</td> <td class="bibInfoData"> Computer science</td></tr> <tr> <td></td> <td class="bibInfoData"> Software engineering</td></tr> <tr> <td></td> <td class="bibInfoData"> Logic design</td></tr> <tr> <td></td> <td class="bibInfoData"> Programming Languages, Compilers, Interpreters</td></tr> <tr> <td></td> <td class="bibInfoData"> Logics and Meanings of Programs</td></tr> <tr> <td></td> <td class="bibInfoData"> Mathematical Logic and Formal Languages</td></tr> <tr> <td></td> <td class="bibInfoData"> Programming Techniques</td></tr> <tr> <td></td> <td class="bibInfoData"> Models and Principles</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Bibliography</td> <td class="bibInfoData"> Includes bibliographical references and author index</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Notes</td> <td class="bibInfoData"> English</td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">In</td> <td class="bibInfoData"> <a href="/search~S1/t?Springer+eBooks">Springer eBooks</a></td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Subject</td> <td class="bibInfoData"> <a href="/search~S1?/dComputer+software+--+Testing+--+Congresses/dcomputer+software+testing+congresses/-3,-1,0,B/browse">Computer software -- Testing -- Congresses</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dSoftware+engineering+--+Congresses/dsoftware+engineering+congresses/-3,-1,0,B/browse">Software engineering -- Congresses</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dElectronic+Data+Processing/delectronic+data+processing/-3,-1,0,B/browse">Electronic Data Processing</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dInformatique./dinformatique/-3,-1,0,B/browse">Informatique.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dComputer+software+--+Testing/dcomputer+software+testing/-3,-1,0,B/browse">Computer software -- Testing</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dSoftware+engineering/dsoftware+engineering/-3,-1,0,B/browse">Software engineering</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dKommunikationssystem/dkommunikationssystem/-3,-1,0,B/browse">Kommunikationssystem</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dModel+Checking/dmodel+checking/-3,-1,0,B/browse">Model Checking</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dSoftwaretest/dsoftwaretest/-3,-1,0,B/browse">Softwaretest</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dTesten/dtesten/-3,-1,0,B/browse">Testen</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dTestmustergenerierung/dtestmustergenerierung/-3,-1,0,B/browse">Testmustergenerierung</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/dSoftware/dsoftware/-3,-1,0,B/browse">Software</a> </td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Genre/Form</td> <td class="bibInfoData"> <a href="/search~S1?/hproceedings+%28reports%29/hproceedings+reports/-3,-1,0,B/browse">proceedings (reports)</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/hConference+papers+and+proceedings/hconference+papers+and+proceedings/-3,-1,0,B/browse">Conference papers and proceedings</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/hConference+papers+and+proceedings./hconference+papers+and+proceedings/-3,-1,0,B/browse">Conference papers and proceedings.</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/hActes+de+congr{u00E8}s./hactes+de+congres/-3,-1,0,B/browse">Actes de congr猫s.</a> </td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Form</td> <td class="bibInfoData"> <a href="/search~S1?/hElectronic+book/helectronic+book/-3,-1,0,B/browse">Electronic book</a> </td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">Author</td> <td class="bibInfoData"> <a href="/search~S1?/aWolff%2C+Burkhart%2C+1962-/awolff+burkhart+++++1962/-3,-1,0,B/browse">Wolff, Burkhart, 1962-</a> </td></tr> <tr> <td></td> <td class="bibInfoData"> <a href="/search~S1?/aZa{u00EF}di%2C+Fatiha/azaidi+fatiha/-3,-1,0,B/browse">Za茂di, Fatiha</a> </td></tr> <tr> <td valign="top" width="20%" class="bibInfoLabel">ISBN</td> <td class="bibInfoData"> 9783642245800</td></tr> <tr> <td></td> <td class="bibInfoData"> 3642245803</td></tr> </table>  </td></tr> </table>   <table width="100%" border="0" cellspacing="0" cellpadding="0" class="bibDetail"> <tr class="bibInfoEntry" ><td>  <table width="100%" cellspacing="3" cellpadding="0"> </table>  </td></tr> </table>  </div>         <div class="bibDisplayContentMore bibDisplayReviews"> <div class="bibDisplayPermLink actionButtonArea"> <a href="/record=b3918829~S1"><span class="button buttonNav">&nbsp&nbspPermalink&nbsp&nbsp&nbsp&nbsp</span></a></div> </div> </div>  <script src="https://unbound.syndetics.com/syndeticsunbound/connector/initiator.php?a_id=465&i_id=1182" type="text/javascript"></script>  </div> <div class="clear"></div> </div> <br />    </div> <div style="clear:both"></div> </div> <iframe src="https://www.deakin.edu.au/library/media/static/deakin-footer2" target="_top" style="width:100%;height: 648px;border: none;overflow: hidden;margin: 0;" scrolling="no" aria-label="Deakin footer" title="Deakin footer"></iframe>   </body> </html> <script> // replace generic title in head with item title if (jQuery("div.navigationRow form select option").length !== 0) { document.title = jQuery("div.navigationRow form select option").next().html().trim(); /*addMetaTag('og:title', document.title);*/ } else if (jQuery("tr td.bibInfoLabel:contains('Title')").length !== 0) { document.title = jQuery("tr td.bibInfoLabel:contains('Title')").next().children('strong').text().trim(); /*addMetaTag('og:title', document.title);*/ } </script>  <script type='text/javascript'> var meta = document.createElement('meta'); meta.setAttribute('name' , 'description'); meta.setAttribute('content', document.title + ' is a resource in the Deakin University Library collection'); document.head.appendChild(meta); </script> <script type='text/javascript'> var meta = document.createElement('meta'); meta.setAttribute('name', 'viewport'); meta.setAttribute('content','width=device-width, initial-scale=1.0'); document.head.appendChild(meta); </script>  <script type='text/javascript'> var link = document.createElement('link'); link.setAttribute('rel', 'alternate'); link.setAttribute('href', 'http:' + '//' + 'm.library.deakin.edu.au' + location.pathname); link.setAttribute ('media', 'only screen and (max-width: 640px)') document.head.appendChild(link); </script> <script type='text/javascript'> var link = document.createElement('link'); link.setAttribute('rel', 'canonical'); link.setAttribute('href', 'http:' + '//' + 'library.deakin.edu.au' + location.pathname); document.head.appendChild(link); </script>