| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Clark, Robert M. Hierons |
Squeeziness: An information theoretic measure for avoiding fault masking.  |
Inf. Process. Lett.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons |
Overcoming controllability problems in distributed testing from an input output transition system. |
Distributed Computing |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Implementation relations and test generation for systems with distributed interfaces. |
Distributed Computing |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Danicic, Robert M. Hierons, Michael R. Laurence |
Complexity of Data Dependence Problems for Program Schemas with Concurrency. |
ACM Trans. Comput. Log. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons |
Testing timed systems modeled by Stream X-machines. |
Software and System Modeling |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Danicic, Robert M. Hierons, Michael R. Laurence |
Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas. |
J. Log. Algebr. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Danicic, Robert M. Hierons, Michael R. Laurence |
Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas. |
J. Log. Algebr. Program. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Danicic, Robert M. Hierons, Michael R. Laurence |
On the computational complexity of dynamic slicing problems for program schemas. |
Mathematical Structures in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Scenarios-based testing of systems with distributed ports. |
Softw., Pract. Exper. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons |
Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports. |
IEEE Trans. Computers |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Asma Mubarak, Steve Counsell, Robert M. Hierons |
A Longitudinal Study of Fan-In and Fan-Out Coupling in Open-Source Systems. |
IJISMD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons |
Checking Finite State Machine Conformance when there are Distributed Observations |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Robert M. Hierons, Aditya Mathur |
ICST 2008 Special Issue. |
Softw. Test., Verif. Reliab. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Iftikhar Ahmed Khan, Willem-Paul Brinkman, Robert M. Hierons |
Do moods affect programmers' debug performance? |
Cognition, Technology & Work |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift |
An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models. |
Information & Software Technology |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés |
Mutation testing on an object-oriented framework: An experience report. |
Information & Software Technology |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés |
Automated metamorphic testing on the analyses of feature models. |
Information & Software Technology |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Haitao Dan, Robert M. Hierons |
Conformance Testing from Message Sequence Charts. |
ICST |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Saeed Abou Trab, Steve Counsell, Robert M. Hierons |
GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN Applications. |
ECBS |
2011 |
DBLP DOI BibTeX RDF |
real-time model-based testing, CAN, testing tool, Real-time embedded systems |
| 1 | Ana Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons |
Conformance Relations for Distributed Testing Based on CSP. |
ICTSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Núñez, Robert M. Hierons, Mercedes G. Merayo (eds.) |
Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011. |
QSIC |
2011 |
DBLP BibTeX RDF |
|
| 1 | Carlos Molinero, Manuel Núñez, Robert M. Hierons |
Experimental Comparison of Different Techniques to Generate Adaptive Sequences. |
IWANN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez |
A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems. |
IWANN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Counsell, Hamza Hamza, Robert M. Hierons |
An Empirical Investigation of Code Smell 'Deception' and Research Contextualisation through Paul's Criteria. |
CIT |
2010 |
DBLP BibTeX RDF |
|
| 1 | Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo |
Estimating the feasibility of transition paths in extended finite state machines. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Hasan Ural |
Generating a checking sequence with a minimum number of reset transitions. |
Autom. Softw. Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons |
Canonical finite state machines for distributed systems. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard W. Barraclough, David Binkley, Sebastian Danicic, Mark Harman, Robert M. Hierons, Ákos Kiss, Mike Laurence, Lahcen Ouarbya |
A trajectory-based strict semantics for program slicing. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons |
Checking experiments for stream X-machines. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | S. T. Parkinson, Robert M. Hierons, Mark Lycett, M. Norman |
Practitioner-based measurement: a collaborative approach. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Danicic, Robert M. Hierons, Michael R. Laurence |
Complexity of Data Dependence problems for Program Schemas with Concurrency |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Robert M. Hierons |
Reaching and Distinguishing States of Distributed Systems. |
SIAM J. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Mutation Testing. |
Encyclopedia of Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 1 | Robert M. Hierons, Manuel Núñez |
Testing Probabilistic Distributed Systems. |
FMOODS/FORTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Clark, Haitao Dan, Robert M. Hierons |
Semantic Mutation Testing. |
ICST Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift |
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) with the Counter Problem. |
ICST Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés |
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach. |
ICST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Haitao Dan, Robert M. Hierons, Steve Counsell |
Non-local Choice and Implied Scenarios. |
SEFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Saeed Abou Trab, Bachar Alrouh, Steve Counsell, Robert M. Hierons, George Ghinea |
A Multi-criteria Decision Making Framework for Real Time Model-Based Testing. |
TAIC PART |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Scenarios-Based Testing of Systems with Distributed Ports. |
QSIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Asma Mubarak, Steve Counsell, Robert M. Hierons |
An Evolutionary Study of Fan-in and Fan-out Metrics in OSS. |
RCIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Testing from a stochastic timed system with a fault model. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo |
Mutation testing from probabilistic and stochastic finite state machines. |
Journal of Systems and Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons |
Verdict functions in testing with a fault domain or test hypotheses. |
ACM Trans. Softw. Eng. Methodol. |
2009 |
DBLP DOI BibTeX RDF |
Test verdicts, fault domains, test hypotheses |
| 1 | Robert M. Hierons, Hasan Ural |
Overcoming controllability problems with fewest channels between testers. |
Computer Networks |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan |
Using formal specifications to support testing. |
ACM Comput. Surv. |
2009 |
DBLP DOI BibTeX RDF |
formal methods, Software testing |
| 1 | Robert M. Hierons |
Using status messages in the distributed test architecture. |
Information & Software Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift |
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM). |
ICST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Manuel Núñez |
Simulation Relations for Systems with Distributed Interfaces. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün |
Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adel Almohammad, Gheorghita Ghinea, Robert M. Hierons |
JPEG Steganography: A Performance Evaluation of Quantization Tables. |
AINA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez |
Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. |
IWANN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Florentin Ipate |
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine. |
Formal Asp. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Testing, Controllability, Non-determinism, Stream X-machine |
| 1 | Robert M. Hierons, Hasan Ural |
The Effect of the Distributed Test Architecture on the Power of Testing. |
Comput. J. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Hasan Ural |
Checking sequences for distributed test architectures. |
Distributed Computing |
2008 |
DBLP DOI BibTeX RDF |
Distributed test architecture, Coordination problems, Observability problems, Testing, Checking sequence |
| 1 | Christopher Robinson-Mallett, Robert M. Hierons, Jesse H. Poore, Peter Liggesmeyer |
Using communication coverage criteria and partial model generation to assist software integration testing. |
Software Quality Journal |
2008 |
DBLP DOI BibTeX RDF |
Timed state-based specifications, Distributed systems, Integration Testing, Coverage criteria |
| 1 | Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez |
Extending Stream X-Machines to Specify and Test Systems with Timeouts. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Iftikhar Ahmed Khan, Willem-Paul Brinkman, Nick Fine, Robert M. Hierons |
Measuring personality from keyboard and mouse use. |
ECCE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün |
Using adaptive distinguishing sequences in checking sequence constructions. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
adaptive distinguishing sequences, checking sequence construction, preset distinguishing sequences, finite state machines, model-based testing |
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Controllable Test Cases for the Distributed Test Architecture. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez |
Implementation Relations for the Distributed Test Architecture. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Asma Mubarak, Steve Counsell, Robert M. Hierons |
An Empirical Study of "Removed" Classes in Java Open-Source Systems. |
SCSS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Harman, André Baresel, David Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper |
Testability Transformation - Program Transformation to Improve Testability. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.) |
Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers |
Formal Methods and Testing |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jessica Chen, Robert M. Hierons, Hasan Ural |
Testing in the Distributed Test Architecture. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons |
Testing in the Distributed Test Architecture: An Extended Abstract. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Adel Almohammad, Robert M. Hierons, Gheorghita Ghinea |
High Capacity Steganographic Method Based Upon JPEG. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
Steganography, Image compression, Capacity, Data hiding, quantization, JPEG |
| 1 | Asma Mubarak, Steve Counsell, Robert M. Hierons, Youssef Hassoun |
Package Evolvability and its Relationship with Refactoring. |
ECEASST |
2007 |
DBLP BibTeX RDF |
|
| 1 | Zheng Li, Mark Harman, Robert M. Hierons |
Search Algorithms for Regression Test Case Prioritization. |
IEEE Trans. Software Eng. |
2007 |
DBLP DOI BibTeX RDF |
regression testing, test case prioritization, Search techniques |
| 1 | Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence |
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Hasan Ural |
Reducing the cost of applying adaptive test cases. |
Computer Networks |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian |
Heuristics for fault diagnosis when testing from finite state machines. |
Softw. Test., Verif. Reliab. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Haitao Dan, Robert M. Hierons, Steve Counsell |
Thread-Based Analysis of Sequence Diagrams. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
Thread tags, Semantics, Concurrency, Object Oriented, Partial Orders, Sequence Diagram |
| 1 | Haitao Dan, Robert M. Hierons, Steve Counsell |
A Thread-tag Based Semantics for Sequence Diagrams. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
Partially ordered multiset, Thread tag, Semantics, Concurrency, Object-Oriented, Sequence Diagram |
| 1 | Iftikhar Ahmed Khan, Robert M. Hierons, Willem-Paul Brinkman |
Mood independent programming. |
ECCE |
2007 |
DBLP DOI BibTeX RDF |
emotions, affect, integrated development environments, programmers, moods |
| 1 | Steve Counsell, Stephen Swift, Robert M. Hierons |
A Test Taxonomy Applied to the Mechanics of Java Refactorings. |
SCSS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Counsell, Robert M. Hierons |
Refactoring test suites versus test behaviour: a TTCN-3 perspective. |
SOQUA |
2007 |
DBLP DOI BibTeX RDF |
test behaviour, refactoring, TTCN-3, test suite |
| 1 | Steve Counsell, Robert M. Hierons, George Loizou |
A Meta-analysis Approach to Refactoring and XP. |
AICCSA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Mark Harman, Robert M. Hierons |
Guest Editorial. |
Formal Asp. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons |
Applying adaptive test cases to nondeterministic implementations. |
Inf. Process. Lett. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jessica Chen, Robert M. Hierons, Hasan Ural |
Overcoming observability problems in distributed test architectures. |
Inf. Process. Lett. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons |
Separating sequence overlap for automated test sequence generation. |
Autom. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
Separating sequence, Characterizing set, Finite state machine, Overlap, Test sequence generation |
| 1 | Robert M. Hierons, Hasan Ural |
Optimizing the Length of Checking Sequences. |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
Finite state machine, distinguishing sequence, checking sequence, test minimization |
| 1 | Robert M. Hierons |
Avoiding coincidental correctness in boundary value analysis. |
ACM Trans. Softw. Eng. Methodol. |
2006 |
DBLP DOI BibTeX RDF |
boundary value analysis, coincidental correctness, domain faults, Test case generation |
| 1 | Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo |
Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs. |
Comput. J. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lee White, Jeff Offutt, Derek Yates, Robert M. Hierons, Michael A. Hennell, Peter Mitchell |
A Tribute to Martin Woodward. |
Softw. Test., Verif. Reliab. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons |
Testing Commercial-off-the-Shelf Components and Systems. Edited by Sami Beydeda and Volker Gruhn. Springer, 2005, ISBN: 3-540-21871-8, pp 410. |
Softw. Test., Verif. Reliab. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Phil McMinn, Robert M. Hierons |
Editorial: Addressing industrial challenges - UKTest 2005 and beyond. |
Softw. Test., Verif. Reliab. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons |
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. |
Softw. Test., Verif. Reliab. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian |
Improving test quality using robust unique input/output circuit sequences (UIOCs). |
Information & Software Technology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Robinson-Mallett, Robert M. Hierons, Peter Liggesmeyer |
Achieving communication coverage in testing. |
ACM SIGSOFT Software Engineering Notes |
2006 |
DBLP DOI BibTeX RDF |
timed state-based specifications, distributed systems, conformance testing, coverage criteria |
| 1 | Robert M. Hierons, Henry Muccini (eds.) |
Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), ROSATEA 2006, Portland, Maine, USA, July 17-20, 2006 |
ROSATEA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Steve Counsell, Robert M. Hierons, Rajaa Najjar, George Loizou, Youssef Hassoun |
The Effectiveness of Refactoring, Based on a Compatibility Testing Taxonomy and a Dependency Graph. |
TAIC PART |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas E. Gold, Mark Harman, David Binkley, Robert M. Hierons |
Unifying program slicing and concept assignment for higher-level executable source code extraction. |
Softw., Pract. Exper. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Lahcen Ouarbya, Martin P. Ward |
ConSUS: a light-weight program conditioner. |
Journal of Systems and Software |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Danicic, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence |
Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas. |
Comput. J. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons, Mark Harman, Chris Fox |
Branch-Coverage Testability Transformation for Unstructured Programs. |
Comput. J. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons |
Editorial: Validating our findings. |
Softw. Test., Verif. Reliab. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert M. Hierons |
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. |
Softw. Test., Verif. Reliab. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jessica Chen, Robert M. Hierons, Hasan Ural |
Resolving Observability Problems in Distributed Test Architectures. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
testing, controllability, Finite state machine, observability, test architecture |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")