Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Bottaci, Leonardo (Επιμελητής έκδοσης), Fraser, Gordon (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6303
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Computer Communication Networks.; Programming Techniques.

A 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 testin...

Πίνακας περιεχομένων:

• Keynote 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.