|
|
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. |
ICTSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hengyi Yang, Bardh Hoxha, Georgios E. Fainekos |
Querying Parametric Temporal Logic Properties on Embedded Systems. |
ICTSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel A. Mayer, Orie Steele, Susanne Wetzel, Ulrike Meyer |
CaPTIF: Comprehensive Performance TestIng Framework. |
ICTSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Joanna Strug, Barbara Strug |
Machine Learning Approach in Mutation Testing. |
ICTSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | João A. M. Santos, Rui Abreu 0001 |
Lightweight Automatic Error Detection by Monitoring Collar Variables. |
ICTSS |
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. |
ICTSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Brauer, Jan Peleska 0001, Uwe Schulze |
Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools. |
ICTSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund |
Requirements-Driven Log Analysis (Extended Abstract). |
ICTSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ramsay Taylor, Mathew Hall, Kirill Bogdanov 0002, John Derrick |
Using Behaviour Inference to Optimise Regression Test Sets. |
ICTSS |
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 |
ICTSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Thao Dang 0001, Noa Shalev |
State Estimation and Property-Guided Exploration for Hybrid Systems Testing. |
ICTSS |
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. |
ICTSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski |
Parameterized GUI Tests. |
ICTSS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb |
Managing Execution Environment Variability during Software Testing: An Industrial Experience. |
ICTSS |
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. |
ICTSS |
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. |
ICTSS |
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 |
ICTSS |
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. |
ICTSS |
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. |
ICTSS |
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. |
ICTSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Karl Meinke, Fei Niu |
Learning-Based Testing for Reactive Systems Using Term Rewriting Technology. |
ICTSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Petur Olsen, Johan Foederer, Jan Tretmans |
Model-Based Testing of Industrial Transformational Systems. |
ICTSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Claude Gaudel |
Counting for Random Testing. |
ICTSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian Schwarzl, Bernhard K. Aichernig, Franz Wotawa |
Compositional Random Testing Using Extended Symbolic Transition Systems. |
ICTSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gregor von Bochmann, Guy-Vincent Jourdan, Bo Wan |
Improved Usage Model for Web Application Reliability Testing. |
ICTSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Neil Walkinshaw |
Assessing Test Adequacy for Black-Box Systems without Specifications. |
ICTSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Núñez 0001 |
Formal Testing of Timed and Probabilistic Systems. |
ICTSS |
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. |
ICTSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ana Cavalcanti 0001, Marie-Claude Gaudel, Robert M. Hierons |
Conformance Relations for Distributed Testing Based on CSP. |
ICTSS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Petrenko, Nina Yevtushenko 0001 |
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs. |
ICTSS |
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. |
ICTSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Ulrich, El Hachemi Alikacem, Hesham Hallal, Sergiy Boroday |
From Scenarios to Test Implementations Via Promela. |
ICTSS |
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. |
ICTSS |
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. |
ICTSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Margus Veanes, Nikolaj S. Bjørner |
Alternating Simulation and IOCO. |
ICTSS |
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. |
ICTSS |
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. |
ICTSS |
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. |
ICTSS |
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. |
ICTSS |
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. |
ICTSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier |
More Testable Properties. |
ICTSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ina Schieferdecker |
Test Automation with TTCN-3 - State of the Art and a Future Perspective. |
ICTSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Constance L. Heitmeyer |
A Model-Based Approach to Testing Software for Critical Behavior and Properties. |
ICTSS |
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. |
ICTSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Karl Meinke, Fei Niu |
A Learning-Based Approach to Unit Testing of Numerical Software. |
ICTSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hadi Hemmati, Andrea Arcuri, Lionel C. Briand |
Reducing the Cost of Model-Based Testing through Test Case Diversity. |
ICTSS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Gladisch |
Test Data Generation for Programs with Quantified First-Order Logic Specifications. |
ICTSS |
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. |
ICTSS |
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 |
ICTSS |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #249 of 249 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|