The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robert M. Hierons: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul Krause
    FORTEST: Formal Methods and Testing. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:91-104 [Conf]
  2. Robert M. Hierons, T.-H. Kim, Hasan Ural
    Expanding an Extended Finite State Machine to aid Testability. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2002, pp:334-342 [Conf]
  3. Andrea De Lucia, Mark Harman, Robert M. Hierons, Jens Krinke
    Unions of Slices Are Not Slices. [Citation Graph (0, 0)][DBLP]
    CSMR, 2003, pp:363-367 [Conf]
  4. Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian
    Computing Unique Input/Output Sequences Using Genetic Algorithms. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:164-177 [Conf]
  5. Jessica Chen, Robert M. Hierons, Hasan Ural
    Conditions for Resolving Observability Problems in Distributed Testing. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:229-242 [Conf]
  6. Jessica Chen, Robert M. Hierons, Hasan Ural
    Resolving Observability Problems in Distributed Test Architectures. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:219-232 [Conf]
  7. Robert M. Hierons, Hasan Ural
    Concerning the Ordering of Adaptive Test Sequences. [Citation Graph (0, 0)][DBLP]
    FORTE, 2003, pp:289-302 [Conf]
  8. Konstantinos Adamopoulos, Mark Harman, Robert M. Hierons
    How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution. [Citation Graph (0, 0)][DBLP]
    GECCO (2), 2004, pp:1338-1349 [Conf]
  9. Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo
    Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs). [Citation Graph (0, 0)][DBLP]
    GECCO (2), 2004, pp:1429-1430 [Conf]
  10. Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo
    Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms. [Citation Graph (0, 0)][DBLP]
    GECCO, 2005, pp:1081-1082 [Conf]
  11. Deji Fatiregun, Mark Harman, Robert M. Hierons
    Search Based Transformations. [Citation Graph (0, 0)][DBLP]
    GECCO, 2003, pp:2511-2512 [Conf]
  12. Mark Harman, Lin Hu, Robert M. Hierons, André Baresel, Harmen Sthamer
    Improving Evolutionary Testing By Flag Removal. [Citation Graph (0, 0)][DBLP]
    GECCO, 2002, pp:1359-1366 [Conf]
  13. Mark Harman, Robert M. Hierons, Mark Proctor
    A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization. [Citation Graph (0, 0)][DBLP]
    GECCO, 2002, pp:1351-1358 [Conf]
  14. Kiarash Mahdavi, Mark Harman, Robert M. Hierons
    Finding Building Blocks for Software Clustering. [Citation Graph (0, 0)][DBLP]
    GECCO, 2003, pp:2513-2514 [Conf]
  15. Chris Fox, Mark Harman, Robert M. Hierons, Sebastian Danicic
    ConSIT: A Conditioned Program Slicer. [Citation Graph (0, 0)][DBLP]
    ICSM, 2000, pp:216-0 [Conf]
  16. Mark Harman, Lin Hu, Robert M. Hierons, Chris Fox, Sebastian Danicic, Joachim Wegener, Harmen Sthamer, André Baresel
    Evolutionary Testing Supported by Slicing and Transformation. [Citation Graph (0, 0)][DBLP]
    ICSM, 2002, pp:285- [Conf]
  17. Mark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd
    Pre/Post Conditioned Slicing. [Citation Graph (0, 0)][DBLP]
    ICSM, 2001, pp:138-147 [Conf]
  18. Mark Harman, Lin Hu, Robert M. Hierons, Malcolm Munro, Xingyuan Zhang, José Javier Dolado, Mari Carmen Otero, Joachim Wegener
    A Post-Placement Side-Effect Removal Algorithm. [Citation Graph (0, 0)][DBLP]
    ICSM, 2002, pp:2-11 [Conf]
  19. Kiarash Mahdavi, Mark Harman, Robert M. Hierons
    A Multiple Hill Climbing Approach to Software Module Clustering. [Citation Graph (0, 0)][DBLP]
    ICSM, 2003, pp:315-324 [Conf]
  20. Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons
    Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension. [Citation Graph (0, 0)][DBLP]
    IWPC, 2001, pp:89-97 [Conf]
  21. Mark Harman, Chris Fox, Robert M. Hierons, David Binkley, Sebastian Danicic
    Program Simplification as a Means of Approximating Undecidable Propositions. [Citation Graph (0, 0)][DBLP]
    IWPC, 1999, pp:208-217 [Conf]
  22. Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün
    Eliminating Redundant Tests in a Checking Sequence. [Citation Graph (0, 0)][DBLP]
    TestCom, 2005, pp:146-158 [Conf]
  23. Deji Fatiregun, Mark Harman, Robert M. Hierons
    Evolving Transformation Sequences using Genetic Algorithms. [Citation Graph (0, 0)][DBLP]
    SCAM, 2004, pp:66-75 [Conf]
  24. Mark Harman, David Binkley, Ranjit Singh, Robert M. Hierons
    Amorphous Procedure Extraction. [Citation Graph (0, 0)][DBLP]
    SCAM, 2004, pp:85-94 [Conf]
  25. Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener
    VADA: A Transformation-Based System for Variable Dependence Analysis. [Citation Graph (0, 0)][DBLP]
    SCAM, 2002, pp:55-64 [Conf]
  26. 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. [Citation Graph (0, 0)][DBLP]
    TAIC PART, 2006, pp:181-192 [Conf]
  27. Deji Fatiregun, Mark Harman, Robert M. Hierons
    Search-Based Amorphous Slicing. [Citation Graph (0, 0)][DBLP]
    WCRE, 2005, pp:3-12 [Conf]
  28. Mark Harman, Nicolas Gold, Robert M. Hierons, David Binkley
    Code Extraction Algorithms which Unify Slicing and Concept Assignment. [Citation Graph (0, 0)][DBLP]
    WCRE, 2002, pp:11-21 [Conf]
  29. Mark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox
    Node Coarsening Calculi for Program Slicing. [Citation Graph (0, 0)][DBLP]
    WCRE, 2001, pp:25-34 [Conf]
  30. Lin Hu, Mark Harman, Robert M. Hierons, David Binkley
    Loop Squashing Transformations for Amorphous Slicing. [Citation Graph (0, 0)][DBLP]
    WCRE, 2004, pp:152-160 [Conf]
  31. Robert M. Hierons, Mark Harman, Harbhajan Singh
    Automatically Generating Information from a Z Specification to Support the Classification Tree Method. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:388-407 [Conf]
  32. Robert M. Hierons
    Separating sequence overlap for automated test sequence generation. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2006, v:13, n:2, pp:283-301 [Journal]
  33. 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. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2005, v:48, n:6, pp:737-748 [Journal]
  34. Robert M. Hierons
    Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2003, v:46, n:3, pp:307-318 [Journal]
  35. Robert M. Hierons
    Extending Test Sequence Overlap by Invertibility. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1996, v:39, n:4, pp:325-330 [Journal]
  36. Robert M. Hierons
    Testing from a Finite-State Machine: Extending Invertibility to Sequences. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1997, v:40, n:4, pp:220-230 [Journal]
  37. Robert M. Hierons
    Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1998, v:41, n:5, pp:349-355 [Journal]
  38. Robert M. Hierons, Mark Harman, Chris Fox
    Branch-Coverage Testability Transformation for Unstructured Programs. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2005, v:48, n:4, pp:421-436 [Journal]
  39. Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo
    Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2006, v:49, n:3, pp:331-344 [Journal]
  40. Robert M. Hierons, T.-H. Kim, Hasan Ural
    On the testability of SDL specifications. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2004, v:44, n:5, pp:681-700 [Journal]
  41. Robert M. Hierons, Hasan Ural
    Reducing the cost of applying adaptive test cases. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2007, v:51, n:1, pp:224-238 [Journal]
  42. Robert M. Hierons
    Minimizing the Cost of Fault Location when Testing from a Finite State Machine. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1999, v:22, n:2, pp:120-127 [Journal]
  43. Robert M. Hierons
    Testing of Communicating Systems, Vol. 10 by Myungchul Kim, Sugwon Kang, Keesoo Hong (Eds.). [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1999, v:22, n:17, pp:1619-1620 [Journal]
  44. Hugh Edwards, Robert M. Hierons, Bill Jackson
    The Zero-Free Intervals for Characteristic Polynomials of Matroids. [Citation Graph (0, 0)][DBLP]
    Combinatorics, Probability & Computing, 1998, v:7, n:2, pp:153-165 [Journal]
  45. John Derrick, Mark Harman, Robert M. Hierons
    Guest Editorial. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:1, pp:1-2 [Journal]
  46. Robert M. Hierons, Mark Harman
    Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2000, v:12, n:6, pp:423-442 [Journal]
  47. John A. Clark, José Javier Dolado, Mark Harman, Robert M. Hierons, B. Jones, M. Lumkin, Brian S. Mitchell, Spiros Mancoridis, K. Rees, Marc Roper, Martin J. Shepperd
    Formulating software engineering as a search problem. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 2003, v:150, n:3, pp:161-175 [Journal]
  48. Robert M. Hierons
    testing from semi-independent communicating finite state machines with a slow environment. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 1997, v:144, n:5-6, pp:291-295 [Journal]
  49. Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian
    Improving test quality using robust unique input/output circuit sequences (UIOCs). [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2006, v:48, n:8, pp:696-707 [Journal]
  50. Robert M. Hierons
    Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2001, v:43, n:9, pp:551-560 [Journal]
  51. Robert M. Hierons, Sadegh Sadeghipour, Harbhajan Singh
    Testing a system specified using Statecharts and Z. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2001, v:43, n:2, pp:137-149 [Journal]
  52. Robert M. Hierons, Hasan Ural
    UIO sequence based checking sequences for distributed test architectures. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2003, v:45, n:12, pp:793-803 [Journal]
  53. Robert M. Hierons
    Using a minimal number of resets when testing from a finite state machine. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2004, v:90, n:6, pp:287-292 [Journal]
  54. Robert M. Hierons
    Applying adaptive test cases to nondeterministic implementations. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2006, v:98, n:2, pp:56-60 [Journal]
  55. Jessica Chen, Robert M. Hierons, Hasan Ural
    Overcoming observability problems in distributed test architectures. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2006, v:98, n:5, pp:177-182 [Journal]
  56. Sebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Lahcen Ouarbya, Martin P. Ward
    ConSUS: a light-weight program conditioner. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2005, v:77, n:3, pp:241-262 [Journal]
  57. Mark Harman, Robert M. Hierons
    An overview of program slicing. [Citation Graph (0, 0)][DBLP]
    Software Focus, 2001, v:2, n:3, pp:85-92 [Journal]
  58. Robert M. Hierons
    Real-Time Systems and Software. [Citation Graph (0, 0)][DBLP]
    Software Focus, 2001, v:2, n:2, pp:81- [Journal]
  59. Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons
    ConSIT: a fully automated conditioned program slicer. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2004, v:34, n:1, pp:15-46 [Journal]
  60. Nicolas E. Gold, Mark Harman, David Binkley, Robert M. Hierons
    Unifying program slicing and concept assignment for higher-level executable source code extraction. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2005, v:35, n:10, pp:977-1006 [Journal]
  61. Robert M. Hierons
    Testing Object-Oriented Software: Life-Cycle Solutions, Imran Bashir and Amrit L. Goel, Springer-Verlag, 2000 (Book Review). [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2000, v:10, n:3, pp:196- [Journal]
  62. Robert M. Hierons
    Book Review: Spin Model Checking and Software Verification, Proceedings of the 7th International SPIN Workshop, Stanford, CA, USA, By Klaus Havelund, John Penix and Willem Visser (eds.). LNCS 1885. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2001, v:11, n:3, pp:197-198 [Journal]
  63. Robert M. Hierons
    Editorial: Formal methods and testing. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2002, v:12, n:2, pp:69-70 [Journal]
  64. Robert M. Hierons
    Editorial: Testing in the large through the small? [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2003, v:13, n:3, pp:139-140 [Journal]
  65. Robert M. Hierons
    Book Reviews. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2003, v:13, n:3, pp:197-198 [Journal]
  66. Robert M. Hierons
    Book Reviews. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2004, v:14, n:1, pp:72-73 [Journal]
  67. 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. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2005, v:15, n:2, pp:135-136 [Journal]
  68. Robert M. Hierons
    Editorial: Validating our findings. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2005, v:15, n:4, pp:209-210 [Journal]
  69. 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. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2006, v:16, n:1, pp:61- [Journal]
  70. Robert M. Hierons
    Testing from a Z Specification. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1997, v:7, n:1, pp:19-33 [Journal]
  71. Robert M. Hierons
    Correct Systems: Building a Business Process Solution, by Mike Holcombe and Florentin Ipate, Springer-Verlag, 1998 (Book Review). [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1999, v:9, n:1, pp:76-77 [Journal]
  72. Robert M. Hierons
    Editorial: What does testing tell us? [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1999, v:9, n:3, pp:143-144 [Journal]
  73. Robert M. Hierons
    Machine Learning, by Tom M. Mitchell, McGraw-Hill, 1997 (Book Review). [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1999, v:9, n:3, pp:191-193 [Journal]
  74. Robert M. Hierons, John Derrick
    Editorial: special issue on specification-based testing. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2000, v:10, n:4, pp:201-202 [Journal]
  75. Robert M. Hierons, Mark Harman, Sebastian Danicic
    Using Program Slicing to Assist in the Detection of Equivalent Mutants. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1999, v:9, n:4, pp:233-262 [Journal]
  76. Robert M. Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, Mohammed Daoudi
    Conditioned slicing supports partition testing. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2002, v:12, n:1, pp:23-28 [Journal]
  77. Robert M. Hierons, Michael P. Wiper
    Estimation of Failure Rate using Random and Partition Testing. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1997, v:7, n:3, pp:153-164 [Journal]
  78. John A. Clark, Mark Harman, Robert M. Hierons
    Editorial: Software testing in the United Kingdom. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2004, v:14, n:3, pp:165-166 [Journal]
  79. Phil McMinn, Robert M. Hierons
    Editorial: Addressing industrial challenges - UKTest 2005 and beyond. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2006, v:16, n:3, pp:131-132 [Journal]
  80. Robert M. Hierons
    Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2004, v:53, n:10, pp:1330-1342 [Journal]
  81. Robert M. Hierons, Hasan Ural
    Reduced Length Checking Sequences. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2002, v:51, n:9, pp:1111-1117 [Journal]
  82. Robert M. Hierons, Hasan Ural
    Optimizing the Length of Checking Sequences. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2006, v:55, n:5, pp:618-629 [Journal]
  83. Robert M. Hierons, Mark Harman
    Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:323, n:1-3, pp:191-233 [Journal]
  84. Michael R. Laurence, Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd
    Equivalence of conservative, free, linear program schemas is decidable. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:1, pp:831-862 [Journal]
  85. 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. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:373, n:1-2, pp:1-18 [Journal]
  86. Robert M. Hierons
    Comparing test sets and criteria in the presence of test hypotheses and fault domains. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2002, v:11, n:4, pp:427-448 [Journal]
  87. Robert M. Hierons
    Avoiding coincidental correctness in boundary value analysis. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2006, v:15, n:3, pp:227-241 [Journal]
  88. Mark Harman, Lin Hu, Robert M. Hierons, Joachim Wegener, Harmen Sthamer, André Baresel, Marc Roper
    Testability Transformation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:1, pp:3-16 [Journal]
  89. Zheng Li, Mark Harman, Robert M. Hierons
    Search Algorithms for Regression Test Case Prioritization. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2007, v:33, n:4, pp:225-237 [Journal]
  90. Steve Counsell, Robert M. Hierons, George Loizou
    A Meta-analysis Approach to Refactoring and XP. [Citation Graph (0, 0)][DBLP]
    AICCSA, 2007, pp:67-75 [Conf]
  91. Haitao Dan, Robert M. Hierons, Steve Counsell
    Thread-Based Analysis of Sequence Diagrams. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:19-34 [Conf]

  92. High Capacity Steganographic Method Based Upon JPEG. [Citation Graph (, )][DBLP]


  93. JPEG Steganography: A Performance Evaluation of Quantization Tables. [Citation Graph (, )][DBLP]


  94. Controllable Test Cases for the Distributed Test Architecture. [Citation Graph (, )][DBLP]


  95. Testing Probabilistic Distributed Systems. [Citation Graph (, )][DBLP]


  96. Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. [Citation Graph (, )][DBLP]


  97. Implementation Relations for the Distributed Test Architecture. [Citation Graph (, )][DBLP]


  98. Testing in the Distributed Test Architecture: An Extended Abstract. [Citation Graph (, )][DBLP]


  99. Using adaptive distinguishing sequences in checking sequence constructions. [Citation Graph (, )][DBLP]


  100. Extending Stream X-Machines to Specify and Test Systems with Timeouts. [Citation Graph (, )][DBLP]


  101. Simulation Relations for Systems with Distributed Interfaces. [Citation Graph (, )][DBLP]


  102. Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences. [Citation Graph (, )][DBLP]


  103. A Thread-tag Based Semantics for Sequence Diagrams. [Citation Graph (, )][DBLP]


  104. Refactoring test suites versus test behaviour: a TTCN-3 perspective. [Citation Graph (, )][DBLP]


  105. A Multi-criteria Decision Making Framework for Real Time Model-Based Testing. [Citation Graph (, )][DBLP]


  106. Mood independent programming. [Citation Graph (, )][DBLP]


  107. Testability Transformation - Program Transformation to Improve Testability. [Citation Graph (, )][DBLP]


  108. Testing in the Distributed Test Architecture. [Citation Graph (, )][DBLP]


  109. A Test Taxonomy Applied to the Mechanics of Java Refactorings. [Citation Graph (, )][DBLP]


  110. An Empirical Study of "Removed" Classes in Java Open-Source Systems. [Citation Graph (, )][DBLP]


  111. Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM). [Citation Graph (, )][DBLP]


  112. Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach. [Citation Graph (, )][DBLP]


  113. Generating a checking sequence with a minimum number of reset transitions. [Citation Graph (, )][DBLP]


  114. Practitioner-based measurement: a collaborative approach. [Citation Graph (, )][DBLP]


  115. The Effect of the Distributed Test Architecture on the Power of Testing. [Citation Graph (, )][DBLP]


  116. Overcoming controllability problems with fewest channels between testers. [Citation Graph (, )][DBLP]


  117. Complexity of Data Dependence problems for Program Schemas with Concurrency [Citation Graph (, )][DBLP]


  118. Using formal specifications to support testing. [Citation Graph (, )][DBLP]


  119. Checking sequences for distributed test architectures. [Citation Graph (, )][DBLP]


Search in 0.009secs, Finished in 0.015secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002