Testing Software and Systems  22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings /  [electronic resource] : 
edited by Alexandre Petrenko, Adenilso Simao, José Carlos Maldonado. 
 - 1st ed. 2010. 
 - XII, 267 p. 76 illus.  online resource. 
 - Programming and Software Engineering,  6435  2945-9168 ; .
 - Programming and Software Engineering,  6435 .
<br/><br/>Test Automation with TTCN-3 - State of the Art and a Future Perspective -- A Model-Based Approach to Testing Software for Critical Behavior and Properties -- A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO -- Reducing the Cost of Model-Based Testing through Test Case Diversity -- Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems -- Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing -- Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage -- Increasing Functional Coverage by Inductive Testing: A Case Study -- FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution -- Test Data Generation for Programs with Quantified First-Order Logic Specifications -- Efficient Distributed Test Architectures for Large-Scale Systems -- Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction -- Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks -- A Learning-Based Approach to Unit Testing of Numerical Software -- From Scenarios to Test Implementations Via Promela -- Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases. 
<br/><br/><label>ISBN: </label>9783642165733 
<br/><br/><label>Standard No.: </label>10.1007/978-3-642-16573-3  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering.<br/>Compilers (Computer programs).<br/>Computer science.<br/>Machine theory.<br/>Computer programming.<br/>Software Engineering.<br/>Compilers and Interpreters.<br/>Computer Science Logic and Foundations of Programming.<br/>Formal Languages and Automata Theory.<br/>Programming Techniques.
<br/><br/><label>LC Class. No.: </label>QA76.758 
<br/><br/><label>Dewey Class. No.: </label>005.1