| 000 | 05461nam a22006015i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-15585-7 | ||
| 003 | DE-He213 | ||
| 005 | 20240423125738.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100825s2010 gw | s |||| 0|eng d | ||
| 020 |
_a9783642155857 _9978-3-642-15585-7 |
||
| 024 | 7 |
_a10.1007/978-3-642-15585-7 _2doi |
|
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 072 | 7 |
_aUMZ _2thema |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 245 | 1 | 0 |
_aTesting: Academic and Industrial Conference - Practice and Research Techniques _h[electronic resource] : _b5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings / _cedited by Leonardo Bottaci, Gordon Fraser. |
| 250 | _a1st ed. 2010. | ||
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2010. |
|
| 300 |
_aXIII, 219 p. 82 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v6303 |
|
| 505 | 0 | _aKeynote Addresses -- Automatic Testing and Fixing for Eiffel -- Testing and Proving, Hand-in-Hand -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking Boundary Value Coverage: Effectiveness and Efficiency -- Model-Checking Erlang – A Comparison between EtomCRL2 and McErlang -- Bad Pairs in Software Testing -- Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs -- Filtering Test Models to Support Incremental Testing -- Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging? -- Linguistic Security Testing for Text Communication Protocols -- Tool Papers -- An Open-Source Tool for Automated Generation of Black-Box xUnit Test Code and Its Industrial Evaluation -- TeCReVis: A Tool for Test Coverage and Test Redundancy Visualization -- A Fault Injection Tool for Testing Web Services Composition -- Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models -- A Generic Approach to Run Mutation Analysis -- Challenge Paper -- The Practical Assessment of Test Sets with Inductive Inference Techniques -- Experience Reports -- Mining API Popularity -- Automatic Discovery of Unspecified Behaviors in Automotive Control Software -- Fast Abstracts -- An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information -- A Multi-criteria Decision Making Framework for Real Time Model-Based Testing -- Improved Testing through Refactoring: Experience from the ProTest Project -- Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements -- A New Approach for Software Testability -- DOM Transactions for Testing JavaScript -- The GZoltar Project: A Graphical Debugger Interface. | |
| 520 | _aA Message from the TAIC PART 2010 General Chair TAIC PART is a unique event that strives to combine aspects of a conference, a workshop and a retreat. Its purpose is to bring together industrialists and academics in an environment that promotes fundamental collaborationon pr- lems in software testing. Among the wide range of topics in computer science andsoftwareengineering,softwaretesting is anidealcandidatefor academicand industrialcollaborationbecauseadvancesinresearchcanhavesuchwide-ranging and far-reaching implications for industry. Conversely, the advances in comp- ing and communications technology and the growth of the associated software engineering activity are producing new researchchallengesat an increasing rate. The problems that arise in software testing are related to the problems that ariseinmanyotherareasofcomputing.Assuch,testingresearchcombinesawide range of elements encompassing the theoretical work of program analysis and formal methods and the associated representations such as ?nite-state machines and dependence graphs. The inherent complexity of software testing has led to the involvement of heuristic methods. Software testing is also a human activity and has thus seen the involvement of psychology,sociologyand even philosophy. This astonishing breadth and depth have made the problems of software testing appealing to academics for several decades. | ||
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aCompilers (Computer programs). | |
| 650 | 0 | _aComputer networks . | |
| 650 | 0 | _aComputer programming. | |
| 650 | 1 | 4 | _aSoftware Engineering. |
| 650 | 2 | 4 | _aComputer Science Logic and Foundations of Programming. |
| 650 | 2 | 4 | _aCompilers and Interpreters. |
| 650 | 2 | 4 | _aComputer Communication Networks. |
| 650 | 2 | 4 | _aProgramming Techniques. |
| 700 | 1 |
_aBottaci, Leonardo. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aFraser, Gordon. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642155840 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642155864 |
| 830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v6303 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-15585-7 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cSPRINGER | ||
| 999 |
_c181259 _d181259 |
||