All Stories

  1. Detecting Hidden Failures of DBMS: A Comprehensive Metamorphic Relation Output Patterns Approach
  2. A Disjoint-Partitioning Approach to Enhancing Metamorphic Testing of DBMS
  3. New visions on metamorphic testing after a quarter of a century of inception
  4. Guest Editorial: A Retrospective of Special Sections on Software Testing and Program Analysis
  5. PEACEPACT: Prioritizing Examples to Accelerate Perturbation-Based Adversary Generation for DNN Classification Testing
  6. CUDAsmith: A Fuzzer for CUDA Compilers
  7. Exploiting the Largest Available Zone: A Proactive Approach to Adaptive Random Testing by Exclusion
  8. Beating Random Test Case Prioritization
  9. KDFC-ART: a KD-tree approach to enhancing Fixed-size-Candidate-set Adaptive Random Testing
  10. Toward a K-means clustering approach to adaptive random testing for object-oriented software
  11. Metamorphic Testing: A Review of Challenges and Opportunities
  12. Metamorphic Robustness Testing Exposes Defects in Citation Statistics and Journal Impact Factors
  13. The Impact of Lightweight Disassembler on Malware Detection: An Empirical Study
  14. Introduction to the special issue on program debugging
  15. Introduction to the special issue on test oracles
  16. Keynote Speeches
  17. 5W+1H pattern: A perspective of systematic mapping studies and a case study on cloud software testing
  18. Preemptive Regression Testingof Workflow-Based Web Services
  19. A Subsumption Hierarchy of Test Case Prioritization for Composite Services
  20. PORA: Proportion-Oriented Randomized Algorithm for Test Case Prioritization
  21. Connecting the Average and the Non-Average
  22. Slope-Based Sequencing Yardstick for Analyzing Unsatisfactory Performance of Multithreaded Programs
  23. Focus section on quality software
  24. Improving the Effectiveness of Testing Pervasive Software via Context Diversity
  25. CrowdAdaptor: A Crowd Sourcing Approach toward Adaptive Energy-Efficient Configurations of Virtual Machines Hosting Mobile Applications
  26. Is XML-Based Test Case Prioritization for Validating WS-BPEL Evolution Effective in Both Average and Adverse Scenarios?
  27. Equality to Equals and Unequals: A Revisit of the Equivalence and Nonequivalence Criteria in Class-Level Testing of Object-Oriented Software
  28. Incremental Identification of Categories and Choices for Test Case Generation: A Study of the Software Practitioners' Preferences
  29. Oracles Are Hardly Attain'd, and Hardly Understood: Confessions of Software Testing Researchers
  30. The ART of Divide and Conquer: An Innovative Approach to Improving the Efficiency of Adaptive Random Testing
  31. A general noise-reduction framework for fault localization of Java programs
  32. On the adoption of MC/DC and control-flow adequacy for a tight integration of program testing and statistical fault localization
  33. Message from the General Chairs
  34. JSCloud: Toward Remote Execution of JavaScript Code on Handheld Devices
  35. An enhanced flow analysis technique for detecting unreachability faults in concurrent systems
  36. DESSERT: a DividE-and-conquer methodology for identifying categorieS, choiceS, and choicE Relations for Test case generation
  37. How well does test case prioritization integrate with statistical fault localization?
  38. Preemptive Regression Test Scheduling Strategies: A New Testing Approach to Thriving on the Volatile Service Environments
  39. Fault Localization Based Only on Failed Runs
  40. EClass: An execution classification approach to improving the energy-efficiency of software via machine learning
  41. Focus section on program debugging
  42. Choices, Choices: Comparing between CHOC’LATE and the Classification-Tree Methodology
  43. Special Issue on Dynamic Analysis and Testing of Embedded Software
  44. A Comparison of Tabular Expression-Based Testing Strategies
  45. Assuring the model evolution of protocol software specifications by regression testing process improvement,
  46. On Practical Adequate Test Suites for Integrated Test Case Prioritization and Fault Localization
  47. Precise Propagation of Fault-Failure Correlations in Program Flow Graphs
  48. Non-parametric statistical fault localization
  49. Message from the ICASE 2011 Organizers
  50. XML-manipulating test case prioritization for XML-manipulating services
  51. An assessment of systems and software engineering scholars and institutions (2003–2007 and 2004–2008)
  52. Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging
  53. Contributions of tester experience and a checklist guideline to the identification of categories and choices for software testing
  54. Automated functional testing of online search services
  55. Correlating Context-Awareness and Mutation Analysis for Pervasive Computing Systems
  56. Leveraging Performance and Power Savings for Embedded Systems Using Multiple Target Deadlines
  57. Message from the Steering Committee Chair
  58. Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software
  59. Taking Advantage of Service Selection: A Study on the Testing of Location-Based Web Services Through Test Case Prioritization
  60. CHOC'LATE
  61. Fault localization through evaluation sequences
  62. Adaptive Random Testing: The ART of test case diversity
  63. Adaptive Random Test Case Prioritization
  64. Is non-parametric hypothesis testing model robust for statistical fault localization?
  65. Resource prioritization of code optimization techniques for program synthesis of wireless sensor network applications
  66. Capturing propagation of infected program states
  67. Data flow testing of service choreography
  68. An assessment of systems and software engineering scholars and institutions (2002–2006)
  69. Automatic Generation of Normal Forms for Testing Object-Oriented Software
  70. Tag-Based Techniques for Black-Box Test Case Prioritization for Service Testing
  71. Finding failures from passed test cases: improving the pattern classification approach to the testing of mesh simplification programs
  72. PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs
  73. How Well Do Test Case Prioritization Techniques Support Statistical Fault Localization
  74. Test case prioritization for regression testing of service-oriented business applications
  75. Where to adapt dynamic service compositions
  76. An Empirical Study of the Use of Frankl-Weyuker Data Flow Testing Criteria to Test BPEL Web Services
  77. A Tale of Clouds: Paradigm Comparisons and Some Thoughts on Research Issues
  78. Toward Scalable Statistical Service Selection
  79. An Adaptive Service Selection Approach to Service Composition
  80. Fault Localization with Non-parametric Program Behavior Model
  81. An assessment of systems and software engineering scholars and institutions (2001–2005)
  82. Editorial
  83. A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications for Object-Oriented Program Testing
  84. Debugging through Evaluation Sequences: A Controlled Experimental Study
  85. Fault Propagation in Tabular Expression-Based Specifications
  86. Lean Implementations of Software Testing Tools Using XML Representations of Source Codes
  87. Testing pervasive software in the presence of context inconsistency resolution services
  88. Data flow testing of service-oriented workflow applications
  89. GUEST EDITORS' INTRODUCTION
  90. Tabular Expression-Based Testing Strategies: A Comparison
  91. Tabular Expression-Based Testing Strategies: A Comparison
  92. Testing object-oriented industrial software without precise oracles or results
  93. Piping Classification to Metamorphic Testing: An Empirical Study towards Better Effectiveness for the Identification of Failures in Mesh Simplification Programs
  94. An Innovative Approach to Tackling the Boundary Effect in Adaptive Random Testing
  95. Synthesizing Component-Based WSN Applications via Automatic Combination of Code Optimization Techniques
  96. Transformation of UML interaction diagrams into contract specifications for object-oriented testing
  97. Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks
  98. INTEGRATION TESTING OF CONTEXT-SENSITIVE MIDDLEWARE-BASED APPLICATIONS: A METAMORPHIC APPROACH
  99. GUEST EDITORS' INTRODUCTION
  100. Static Slicing for Pervasive Programs
  101. An assessment of systems and software engineering scholars and institutions (2000–2004)
  102. Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: An experimental case study
  103. Editorial
  104. An empirical comparison between direct and indirect test result checking approaches
  105. Testing context-aware middleware-centric programs
  106. Reference Models and Automatic Oracles for the Testing of Mesh Simplification Software for Graphics Rendering
  107. Message from the Steering Committee Chair
  108. On the identification of categories and choices for specification-based test case generation
  109. An Automatic Test Data Generation System Based on the Integrated Classification-Tree Methodology
  110. A choice relation framework for supporting category-partition test case generation
  111. Fault-based testing without the need of oracles
  112. Special Issue for the Second Asia–Pacific Conference on Quality Software
  113. Semi-proving
  114. Classification-tree restructuring methodologies: a new perspective
  115. Proportional sampling strategy: a compendium and some insights
  116. GUEST EDITOR'S INTRODUCTION
  117. TACCLE
  118. AN INTEGRATED CLASSIFICATION-TREE METHODOLOGY FOR TEST CASE GENERATION
  119. Test case selection with and without replacement
  120. ROCS: an object-oriented class-level testing system based on the Relevant Observable ContextS technique
  121. On the effectiveness of test case allocation schemes in partition testing
  122. The application of prolog to structured design
  123. The use of Prolog in the modelling and evaluation of structure charts
  124. An Examination of Requirements Specification Languages
  125. Towards a Formal Foundation for DeMarco Data Flow Diagrams
  126. The Identification of Program Unstructuredness: A Formal Approach
  127. On the detection of unstructuredness in flowgraphs
  128. Short Notes: Towards a Single Criterion for Identifying Program Unstructuredness
  129. A Metamorphic Approach to Integration Testing of Context-Sensitive Middleware-Based Applications
  130. Fault-Based Testing of Database Application Programs with Conceptual Data Model
  131. Identification of Categories and Choices in Activity Diagrams
  132. Research Directions on Model-Based Metamorphic Testing and Verification
  133. Software Testing Education and Training in Hong Kong
  134. Metamorphic Testing and Beyond
  135. Computing curriculum-software engineering: its impacts on professional software engineering education
  136. Towards the application of classification techniques to test and identify faults in multimedia systems
  137. A strategy for selecting synchronization sequences to test concurrent object-oriented software
  138. A scheme for dynamic detection of concurrent execution of object-oriented software
  139. Metamorphic testing of programs on partial differential equations: a case study
  140. Software engineering professionalism: is the end of constraints and conflicts in sight?
  141. Towards a problem-driven approach to perspective-based reading
  142. Towards research on software cybernetics
  143. Fault-based testing in the absence of an oracle
  144. On the completeness of test cases for atomic arithmetic expressions
  145. Testing of large number multiplication functions in cryptographic systems
  146. Towards harmonized professional standards for software engineers: constraints, conflicts and concessions