|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 249 publication records. Showing 249 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Erik Carlson, Jan Endresen, Tormod Wien |
A Technique for Agile and Automatic Interaction Testing for Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings, pp. 39-54, 2012, Springer, 978-3-642-34690-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hengyi Yang, Bardh Hoxha, Georgios E. Fainekos |
Querying Parametric Temporal Logic Properties on Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings, pp. 136-151, 2012, Springer, 978-3-642-34690-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel A. Mayer, Orie Steele, Susanne Wetzel, Ulrike Meyer |
CaPTIF: Comprehensive Performance TestIng Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings, pp. 55-70, 2012, Springer, 978-3-642-34690-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Joanna Strug, Barbara Strug |
Machine Learning Approach in Mutation Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings, pp. 200-214, 2012, Springer, 978-3-642-34690-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | João A. M. Santos, Rui Abreu 0001 |
Lightweight Automatic Error Detection by Monitoring Collar Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings, pp. 215-230, 2012, Springer, 978-3-642-34690-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nanxing Chen, César Viho |
Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings, pp. 87-102, 2012, Springer, 978-3-642-34690-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Brauer, Jan Peleska 0001, Uwe Schulze |
Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings, pp. 8-23, 2012, Springer, 978-3-642-34690-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund |
Requirements-Driven Log Analysis (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings, pp. 1-4, 2012, Springer, 978-3-642-34690-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ramsay Taylor, Mathew Hall, Kirill Bogdanov 0002, John Derrick |
Using Behaviour Inference to Optimise Regression Test Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings, pp. 184-199, 2012, Springer, 978-3-642-34690-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Brian Nielsen, Carsten Weise (eds.) |
Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![Springer, 978-3-642-34690-3 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thao Dang 0001, Noa Shalev |
State Estimation and Property-Guided Exploration for Hybrid Systems Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings, pp. 152-167, 2012, Springer, 978-3-642-34690-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall |
Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings, pp. 119-135, 2012, Springer, 978-3-642-34690-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski |
Parameterized GUI Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings, pp. 247-262, 2012, Springer, 978-3-642-34690-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb |
Managing Execution Environment Variability during Software Testing: An Industrial Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings, pp. 24-38, 2012, Springer, 978-3-642-34690-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha |
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings, pp. 32-47, 2011, Springer, 978-3-642-24579-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jan Peleska 0001, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda, Elena Vorobev, Cornelia Zahlten |
A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings, pp. 146-161, 2011, Springer, 978-3-642-24579-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Burkhart Wolff, Fatiha Zaïdi (eds.) |
Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![Springer, 978-3-642-24579-4 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Amel Mammar, Ana R. Cavalli, Willy Jimenez, Wissam Mallouli, Edgardo Montes de Oca |
Using Testing Techniques for Vulnerability Detection in C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings, pp. 80-96, 2011, Springer, 978-3-642-24579-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman |
Praspel: A Specification Language for Contract-Based Testing in PHP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings, pp. 64-79, 2011, Springer, 978-3-642-24579-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Goran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen |
Monitoring Dynamical Signals While Testing Timed Aspects of a System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings, pp. 115-130, 2011, Springer, 978-3-642-24579-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Karl Meinke, Fei Niu |
Learning-Based Testing for Reactive Systems Using Term Rewriting Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings, pp. 97-114, 2011, Springer, 978-3-642-24579-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Petur Olsen, Johan Foederer, Jan Tretmans |
Model-Based Testing of Industrial Transformational Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings, pp. 131-145, 2011, Springer, 978-3-642-24579-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Claude Gaudel |
Counting for Random Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings, pp. 1-8, 2011, Springer, 978-3-642-24579-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian Schwarzl, Bernhard K. Aichernig, Franz Wotawa |
Compositional Random Testing Using Extended Symbolic Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings, pp. 179-194, 2011, Springer, 978-3-642-24579-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gregor von Bochmann, Guy-Vincent Jourdan, Bo Wan |
Improved Usage Model for Web Application Reliability Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings, pp. 15-31, 2011, Springer, 978-3-642-24579-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Neil Walkinshaw |
Assessing Test Adequacy for Black-Box Systems without Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings, pp. 209-224, 2011, Springer, 978-3-642-24579-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Núñez 0001 |
Formal Testing of Timed and Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings, pp. 9-14, 2011, Springer, 978-3-642-24579-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Shinbo, Toru Hasegawa |
An Empirical Study on Applying Anomaly Detection Technique to Detecting Software and Communication Failures in Mobile Data Communication Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings, pp. 195-208, 2011, Springer, 978-3-642-24579-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cavalcanti 0001, Marie-Claude Gaudel, Robert M. Hierons |
Conformance Relations for Distributed Testing Based on CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings, pp. 48-63, 2011, Springer, 978-3-642-24579-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Petrenko, Nina Yevtushenko 0001 |
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings, pp. 162-178, 2011, Springer, 978-3-642-24579-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Romain Delamare, Freddy Muñoz, Benoit Baudry, Yves Le Traon |
Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, pp. 250-265, 2010, Springer, 978-3-642-16572-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Ulrich, El Hachemi Alikacem, Hesham Hallal, Sergiy Boroday |
From Scenarios to Test Implementations Via Promela. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, pp. 236-249, 2010, Springer, 978-3-642-16572-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rafael da Veiga Cabral, Aurora T. R. Pozo, Silvia Regina Vergilio |
A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, pp. 16-29, 2010, Springer, 978-3-642-16572-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Neil Walkinshaw, Kirill Bogdanov 0002, John Derrick, Javier París |
Increasing Functional Coverage by Inductive Testing: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, pp. 126-141, 2010, Springer, 978-3-642-16572-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Margus Veanes, Nikolaj S. Bjørner |
Alternating Simulation and IOCO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, pp. 47-62, 2010, Springer, 978-3-642-16572-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux |
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, pp. 142-157, 2010, Springer, 978-3-642-16572-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand |
Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, pp. 95-110, 2010, Springer, 978-3-642-16572-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Eduardo Cunha de Almeida, João Eugenio Marynowski, Gerson Sunyé, Yves Le Traon, Patrick Valduriez |
Efficient Distributed Test Architectures for Large-Scale Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, pp. 174-187, 2010, Springer, 978-3-642-16572-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Éric Piel, Alberto González-Sanchez 0002, Hans-Gerhard Groß |
Built-In Data-Flow Integration Testing in Large-Scale Component-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, pp. 79-94, 2010, Springer, 978-3-642-16572-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Beatriz Pérez Lamancha, Macario Polo Usaola |
Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, pp. 111-125, 2010, Springer, 978-3-642-16572-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier |
More Testable Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, pp. 30-46, 2010, Springer, 978-3-642-16572-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ina Schieferdecker |
Test Automation with TTCN-3 - State of the Art and a Future Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, pp. 1-14, 2010, Springer, 978-3-642-16572-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Constance L. Heitmeyer |
A Model-Based Approach to Testing Software for Critical Behavior and Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, pp. 15, 2010, Springer, 978-3-642-16572-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Shinbo, Atsushi Tagami, Shigehiro Ano, Toru Hasegawa, Kenji Suzuki |
Practical End-to-End Performance Testing Tool for High Speed 3G-Based Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, pp. 205-220, 2010, Springer, 978-3-642-16572-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Karl Meinke, Fei Niu |
A Learning-Based Approach to Unit Testing of Numerical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, pp. 221-235, 2010, Springer, 978-3-642-16572-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hadi Hemmati, Andrea Arcuri, Lionel C. Briand |
Reducing the Cost of Model-Based Testing through Test Case Diversity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, pp. 63-78, 2010, Springer, 978-3-642-16572-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Gladisch |
Test Data Generation for Programs with Quantified First-Order Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, pp. 158-173, 2010, Springer, 978-3-642-16572-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fides Aarts, Bengt Jonsson 0001, Johan Uijen |
Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![In: Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings, pp. 188-204, 2010, Springer, 978-3-642-16572-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado (eds.) |
Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTSS ![Springer, 978-3-642-16572-6 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #249 of 249 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|