Search - Testing Software and Systems Access content directly

Filter your results

17 results
Contributor/author Internal identifier : 200187
Page :
sorted by
Image document

A Model-Based Approach to Testing Software for Critical Behavior and Properties

 Constance Heitmeyer
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.15-15, ⟨10.1007/978-3-642-16573-3_2⟩
Conference papers hal-01055246v1
Image document

A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem

 Rafael Veiga Cabral , Aurora Pozo , Silvia Regina Vergilio
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.16-29, ⟨10.1007/978-3-642-16573-3_3⟩
Conference papers hal-01055245v1
Image document

Reducing the Cost of Model-Based Testing through Test Case Diversity

 Hadi Hemmati , Andrea Arcuri , Lionel Briand
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.63-78, ⟨10.1007/978-3-642-16573-3_6⟩
Conference papers hal-01055243v1
Image document

Increasing Functional Coverage by Inductive Testing: A Case Study

 Neil Walkinshaw , Kirill Bogdanov , John Derrick , Javier Paris
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.126-141, ⟨10.1007/978-3-642-16573-3_10⟩
Conference papers hal-01055254v1
Image document

Alternating Simulation and IOCO

 Margus Veanes , Nikolaj Bjørner
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.47-62, ⟨10.1007/978-3-642-16573-3_5⟩
Conference papers hal-01055244v1
Image document

Test Data Generation for Programs with Quantified First-Order Logic Specifications

 Christoph D. Gladisch
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.158-173, ⟨10.1007/978-3-642-16573-3_12⟩
Conference papers hal-01055252v1
Image document

FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution

 Kiran Lakhotia , Nikolai Tillmann , Mark Harman , Jonathan Halleux
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.142-157, ⟨10.1007/978-3-642-16573-3_11⟩
Conference papers hal-01055253v1
Image document

A Learning-based Approach to Unit Testing of Numerical Software

 Karl Meinke , Fei Niu
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.221-235, ⟨10.1007/978-3-642-16573-3_16⟩
Conference papers hal-01055250v1
Image document

Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage

 Beatriz Pérez Lamancha , Macario Polo Usaola
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.111-125, ⟨10.1007/978-3-642-16573-3_9⟩
Conference papers hal-01055240v1
Image document

Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems

 Éric Piel , Alberto Gonzalez-Sanchez , Hans-Gerhard Gross
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.79-94, ⟨10.1007/978-3-642-16573-3_7⟩
Conference papers hal-01055242v1
Image document

Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases

 Romain Delamare , Freddy Munoz , Benoit Baudry , Yves Traon
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.250-265, ⟨10.1007/978-3-642-16573-3_18⟩
Conference papers inria-00555069v2

Testing Software and Systems

 Alexandre Petrenko , Adenilso Simao , José Carlos Maldonado
Springer, LNCS-6435, 2010, Lecture Notes in Computer Science, 978-3-642-16572-6. ⟨10.1007/978-3-642-16573-3⟩
Books hal-01555791v1
Image document

From Scenarios to Test Implementations Via Promela

 Andreas Ulrich , El-Hachemi Alikacem , Hesham H. Hallal , Sergiy Boroday
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.236-249, ⟨10.1007/978-3-642-16573-3_17⟩
Conference papers hal-01055249v1
Image document

Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks

 Hiroyuki Shinbo , Atsushi Tagami , Shigehiro Ano , Toru Hasegawa , Kenji Suzuki
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.205-220, ⟨10.1007/978-3-642-16573-3_15⟩
Conference papers hal-01055251v1
Image document

More Testable Properties

 Yliès Falcone , Jean-Claude Fernandez , Thierry Jéron , Hervé Marchand , Laurent Mounier
22nd International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. pp.30-46, ⟨10.1007/978-3-642-16573-3_4⟩
Conference papers inria-00510018v2
Image document

Test Automation with TTCN-3 - State of the Art and a Future Perspective

 Ina Schieferdecker
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.1-14, ⟨10.1007/978-3-642-16573-3_1⟩
Conference papers hal-01055247v1
Image document

Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-based Testing

 Andrea Arcuri , Muhammad Zohaib Iqbal , Lionel Briand
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.95-110, ⟨10.1007/978-3-642-16573-3_8⟩
Conference papers hal-01055241v1
Page :