Found: 53
Select item for more details and to access through your institution.
On the computational complexity of dynamic slicing problems for program schemas.
- Published in:
- Mathematical Structures in Computer Science, 2011, v. 21, n. 6, p. 1339, doi. 10.1017/S0960129511000223
- By:
- Publication type:
- Article
Scenarios-based testing of systems with distributed ports.
- Published in:
- Software: Practice & Experience, 2011, v. 41, n. 10, p. 999, doi. 10.1002/spe.1062
- By:
- Publication type:
- Article
CONSIT: a fully automated conditioned program slicer.
- Published in:
- Software: Practice & Experience, 2004, v. 34, n. 1, p. 15, doi. 10.1002/spe.556
- By:
- Publication type:
- Article
Using genetic algorithms to generate test sequences for complex timed systems.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2013, v. 17, n. 2, p. 301, doi. 10.1007/s00500-012-0894-5
- By:
- Publication type:
- Article
Introduction to the Software Engineering and Formal Methods 2013 special issue.
- Published in:
- 2017
- By:
- Publication type:
- Editorial
Testing timed systems modeled by Stream X-machines.
- Published in:
- Software & Systems Modeling, 2011, v. 10, n. 2, p. 201, doi. 10.1007/s10270-009-0126-3
- By:
- Publication type:
- Article
Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences.
- Published in:
- Computer Journal, 2017, v. 60, n. 1, p. 110, doi. 10.1093/comjnl/bxw069
- By:
- Publication type:
- Article
Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences.
- Published in:
- Computer Journal, 2016, v. 59, n. 8, p. 1186, doi. 10.1093/comjnl/bxw004
- By:
- Publication type:
- Article
A More Precise Implementation Relation for Distributed Testing.
- Published in:
- Computer Journal, 2016, v. 59, n. 1, p. 33, doi. 10.1093/comjnl/bxv057
- By:
- Publication type:
- Article
Incomplete Distinguishing Sequences for Finite State Machines.
- Published in:
- Computer Journal, 2015, v. 58, n. 11, p. 3089, doi. 10.1093/comjnl/bxv041
- By:
- Publication type:
- Article
The Oracle Problem When Testing from MSCs.
- Published in:
- Computer Journal, 2014, v. 57, n. 7, p. 987, doi. 10.1093/comjnl/bxt055
- By:
- Publication type:
- Article
Implementation Relations for Testing Through Asynchronous Channels.
- Published in:
- Computer Journal, 2013, v. 56, n. 11, p. 1305, doi. 10.1093/comjnl/bxs107
- By:
- Publication type:
- Article
Controllability Problems in MSC-Based Testing.
- Published in:
- Computer Journal, 2012, v. 55, n. 11, p. 1270, doi. 10.1093/comjnl/bxr125
- By:
- Publication type:
- Article
Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs.
- Published in:
- Computer Journal, 2006, v. 49, n. 3, p. 331
- By:
- Publication type:
- Article
A partial oracle for uniformity statistics.
- Published in:
- Software Quality Journal, 2019, v. 27, n. 4, p. 1419, doi. 10.1007/s11219-019-09459-0
- By:
- Publication type:
- Article
A mapping study on testing non-testable systems.
- Published in:
- Software Quality Journal, 2018, v. 26, n. 4, p. 1373, doi. 10.1007/s11219-017-9392-4
- By:
- Publication type:
- Article
Using communication coverage criteria and partial model generation to assist software integration testing.
- Published in:
- Software Quality Journal, 2008, v. 16, n. 2, p. 185, doi. 10.1007/s11219-007-9036-1
- By:
- Publication type:
- Article
A Test Framework for Communications-Critical Large-Scale Systems.
- Published in:
- IEEE Software, 2015, v. 32, n. 3, p. 86, doi. 10.1109/MS.2014.53
- By:
- Publication type:
- Article
A Longitudinal Study of Fan-In and Fan-Out Coupling in Open-Source Systems.
- Published in:
- International Journal of Information System Modeling & Design, 2011, v. 2, n. 4, p. 1, doi. 10.4018/jismd.2011100101
- By:
- Publication type:
- Article
Passive testing with asynchronous communications and timestamps.
- Published in:
- Distributed Computing, 2018, v. 31, n. 5, p. 327, doi. 10.1007/s00446-017-0308-0
- By:
- Publication type:
- Article
Timed implementation relations for the distributed test architecture.
- Published in:
- Distributed Computing, 2014, v. 27, n. 3, p. 181, doi. 10.1007/s00446-014-0208-5
- By:
- Publication type:
- Article
Overcoming controllability problems in distributed testing from an input output transition system.
- Published in:
- Distributed Computing, 2012, v. 25, n. 1, p. 63, doi. 10.1007/s00446-011-0153-5
- By:
- Publication type:
- Article
Implementation relations and test generation for systems with distributed interfaces.
- Published in:
- Distributed Computing, 2012, v. 25, n. 1, p. 35, doi. 10.1007/s00446-011-0149-1
- By:
- Publication type:
- Article
Generating Complete Controllable Test Suites for Distributed Testing.
- Published in:
- IEEE Transactions on Software Engineering, 2015, v. 41, n. 3, p. 279, doi. 10.1109/TSE.2014.2364035
- By:
- Publication type:
- Article
Amorphous Slicing of Extended Finite State Machines.
- Published in:
- IEEE Transactions on Software Engineering, 2013, v. 39, n. 7, p. 892, doi. 10.1109/TSE.2012.72
- By:
- Publication type:
- Article
Oracles for Distributed Testing.
- Published in:
- IEEE Transactions on Software Engineering, 2012, v. 38, n. 3, p. 629, doi. 10.1109/TSE.2011.45
- By:
- Publication type:
- Article
Search Algorithms for Regression Test Case Prioritization.
- Published in:
- IEEE Transactions on Software Engineering, 2007, v. 33, n. 4, p. 225, doi. 10.1109/TSE.2007.38
- By:
- Publication type:
- Article
Combinatorial testing and model‐based testing.
- Published in:
- Software Testing: Verification & Reliability, 2022, v. 32, n. 2, p. 1, doi. 10.1002/stvr.1810
- By:
- Publication type:
- Article
Metamorphic testing and test automation.
- Published in:
- Software Testing: Verification & Reliability, 2022, v. 32, n. 3, p. 1, doi. 10.1002/stvr.1814
- By:
- Publication type:
- Article
Model checking, testing and debugging.
- Published in:
- Software Testing: Verification & Reliability, 2022, v. 32, n. 1, p. 1, doi. 10.1002/stvr.1803
- By:
- Publication type:
- Article
Property generation/verification and empirical studies.
- Published in:
- Software Testing: Verification & Reliability, 2021, v. 31, n. 8, p. 1, doi. 10.1002/stvr.1800
- By:
- Publication type:
- Article
Adaptive or embedded software testing and mutation testing.
- Published in:
- Software Testing: Verification & Reliability, 2021, v. 31, n. 7, p. 1, doi. 10.1002/stvr.1798
- By:
- Publication type:
- Article
Editorial: Verification, reliability and performance.
- Published in:
- Software Testing: Verification & Reliability, 2021, v. 31, n. 6, p. 1, doi. 10.1002/stvr.1790
- By:
- Publication type:
- Article
Editorial: Testing, Debugging, and Defect Prediction.
- Published in:
- Software Testing: Verification & Reliability, 2021, v. 31, n. 5, p. 1, doi. 10.1002/stvr.1775
- By:
- Publication type:
- Article
On automation in software engineering.
- Published in:
- Software Testing: Verification & Reliability, 2020, v. 30, n. 6, p. 1, doi. 10.1002/stvr.1753
- By:
- Publication type:
- Article
Working Across Boundaries.
- Published in:
- Software Testing: Verification & Reliability, 2020, v. 30, n. 3, p. 1, doi. 10.1002/stvr.1734
- By:
- Publication type:
- Article
Conference Virtualization.
- Published in:
- Software Testing: Verification & Reliability, 2020, v. 30, n. 4/5, p. 1, doi. 10.1002/stvr.1749
- By:
- Publication type:
- Article
The world changes.
- Published in:
- Software Testing: Verification & Reliability, 2019, v. 29, n. 6/7, p. N.PAG, doi. 10.1002/stvr.1723
- By:
- Publication type:
- Article
How to manage a conference special issue.
- Published in:
- 2017
- By:
- Publication type:
- Editorial
The dreaded desk reject.
- Published in:
- Software Testing: Verification & Reliability, 2016, v. 26, n. 1, p. 3, doi. 10.1002/stvr.1597
- By:
- Publication type:
- Article
Special issue on testing, analysis and debugging of concurrent programs.
- Published in:
- 2015
- By:
- Publication type:
- Editorial
ICST 2008 Special Issue.
- Published in:
- Software Testing: Verification & Reliability, 2011, v. 21, n. 1, p. 1, doi. 10.1002/stvr.447
- By:
- Publication type:
- Article
Heuristics for fault diagnosis when testing from finite state machines.
- Published in:
- Software Testing: Verification & Reliability, 2007, v. 17, n. 1, p. 41, doi. 10.1002/stvr.352
- By:
- Publication type:
- Article
Editorial: Validating our findings.
- Published in:
- Software Testing: Verification & Reliability, 2005, v. 15, n. 4, p. 209, doi. 10.1002/stvr.338
- By:
- Publication type:
- Article
Software Testing Foundations: A Study Guide for the Certified Tester Exam. By Andreas Spillner, Tilo Linz and Hans Schaefer. Published by dpunkt.verlag, Heidelberg, Germany, 2006. ISBN: 3-89864-363-8, pp 266.
- Published in:
- 2006
- By:
- Publication type:
- Book Review
Editorial: Addressing industrial challenges—UKTest 2005 and beyond.
- Published in:
- Software Testing: Verification & Reliability, 2006, v. 16, n. 3, p. 131, doi. 10.1002/stvr.355
- By:
- Publication type:
- Article
Testing Commercial-off-the-Shelf Components and Systems. Edited by Sami Beydeda and Volker Gruhn. Published by Springer-Verlag, Heidelberg, Germany, 2005. ISBN: 3-540-21871-8, pp 410.
- Published in:
- 2006
- By:
- Publication type:
- Book Review
Artificial Intelligence Methods In Software Testing. Edited by Mark Last, Abraham Kandel and Horst Bunke. Published by World Scientific Publishing, Singapore, Series in Machine Perception and Artificial Intelligence, Volume 56, 2004. ISBN: 981-238-854-0. pp. 208
- Published in:
- 2005
- By:
- Publication type:
- Book Review
Book Reviews.
- Published in:
- 2004
- By:
- Publication type:
- Book Review
Editorial: Testing in the large through the small?
- Published in:
- Software Testing: Verification & Reliability, 2003, v. 13, n. 3, p. 139, doi. 10.1002/stvr.277
- By:
- Publication type:
- Article