[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
Skip header Section
Testing object-oriented systems: models, patterns, and toolsDecember 1999
Publisher:
  • Addison-Wesley Longman Publishing Co., Inc.
  • 75 Arlington Street, Suite 300 Boston, MA
  • United States
ISBN:978-0-201-80938-1
Published:01 December 1999
Pages:
1191
Skip Bibliometrics Section
Reflects downloads up to 13 Dec 2024Bibliometrics
Abstract

No abstract available.

Cited By

  1. Sartaj H, Muqeet A, Iqbal M and Khan M (2024). Automated system-level testing of unmanned aerial systems, Automated Software Engineering, 31:2, Online publication date: 1-Nov-2024.
  2. ACM
    Gordon C Mocking Temporal Logic Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E, (98-109)
  3. ACM
    Wang H, Yu S, Chen C, Turhan B and Zhu X (2024). Beyond Accuracy: An Empirical Study on Unit Testing in Open-source Deep Learning Projects, ACM Transactions on Software Engineering and Methodology, 33:4, (1-22), Online publication date: 31-May-2024.
  4. ACM
    He J, Yang Z, Shi J, Yang C, Kim K, Xu B, Zhou X and Lo D Curiosity-Driven Testing for Sequential Decision-Making Process Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, (1-14)
  5. Chen J, Chen J, Zhu L, Mao C, Bao Q and Huang R (2024). L′OP-ART, Journal of Systems and Software, 211:C, Online publication date: 1-May-2024.
  6. Tvardovskii A, El-Fakih K and Yevtushenko N (2024). Testing and incremental conformance testing of timed state machines, Science of Computer Programming, 233:C, Online publication date: 1-Mar-2024.
  7. Ding Y, Zhang Y, Yuan G, Jiang S, Dai W and Zhang Y (2023). Integration test order generation based on reinforcement learning considering class importance, Journal of Systems and Software, 205:C, Online publication date: 1-Nov-2023.
  8. Türker U, Hierons R, Barlas G and El-Fakih K (2023). Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs, IEEE Transactions on Software Engineering, 49:9, (4371-4389), Online publication date: 1-Sep-2023.
  9. Santiesteban P, Huang Y, Weimer W and Ahmad H (2023). CirFix: Automated Hardware Repair and its Real-World Applications, IEEE Transactions on Software Engineering, 49:7, (3736-3752), Online publication date: 1-Jul-2023.
  10. ACM
    Gu K, Jun E and Althoff T Understanding and Supporting Debugging Workflows in Multiverse Analysis Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, (1-19)
  11. ACM
    Ahmad H, Huang Y and Weimer W CirFix: automatically repairing defects in hardware design code Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, (990-1003)
  12. Sartaj H, Iqbal M and Khan M (2021). Testing cockpit display systems of aircraft using a model-based approach, Software and Systems Modeling (SoSyM), 20:6, (1977-2002), Online publication date: 1-Dec-2021.
  13. ACM
    Gonzalez D, Perez P and Mirakhorli M Barriers to Shift-Left Security Proceedings of the 15th ACM / IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), (1-12)
  14. ACM
    Hildebrandt C, Elbaum S, Bezzo N and Dwyer M Feasible and stressful trajectory generation for mobile robots Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, (349-362)
  15. ACM
    Brings J and Daun M Towards automated safety analysis for architectures of dynamically forming networks of cyber-physical systems Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops, (258-265)
  16. Usman M, Iqbal M and Khan M (2019). An automated model‐based approach for unit‐level performance test generation of mobile applications, Journal of Software: Evolution and Process, 32:1, Online publication date: 15-Jan-2020.
  17. Daun M, Weyer T and Pohl K (2019). Improving manual reviews in function-centered engineering of embedded systems using a dedicated review model, Software and Systems Modeling (SoSyM), 18:6, (3421-3459), Online publication date: 1-Dec-2019.
  18. Pradhan S, Ray M and Patnaik S (2020). Clustering of Web Application and Testing of Asynchronous Communication, International Journal of Ambient Computing and Intelligence, 10:3, (33-59), Online publication date: 1-Jul-2019.
  19. Daun M, Brings J, Krajinski L and Weyer T On the benefits of using dedicated models in validation processes for behavioral specifications Proceedings of the International Conference on Software and System Processes, (44-53)
  20. Dadeau F, Fourneret E and Bouchelaghem A (2019). Temporal property patterns for model-based testing from UML/OCL, Software and Systems Modeling (SoSyM), 18:2, (865-888), Online publication date: 1-Apr-2019.
  21. Liu B, Nejati S, Lucia and Briand L (2019). Effective fault localization of automotive Simulink models, Empirical Software Engineering, 24:1, (444-490), Online publication date: 1-Feb-2019.
  22. ACM
    Basios M, Li L, Wu F, Kanthan L and Barr E Darwinian data structure selection Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (118-128)
  23. ACM
    Bijlsma A, Passier H, Pootjes H and Stuurman S Integrated Test Development Proceedings of the 7th Computer Science Education Research Conference, (9-20)
  24. ACM
    Tan S, Dong Z, Gao X and Roychoudhury A Repairing crashes in Android apps Proceedings of the 40th International Conference on Software Engineering, (187-198)
  25. ACM
    Paiva P, Machado L, Valença A, Batista T and Moraes R (2018). SimCEC, Computers in Entertainment, 16:2, (1-26), Online publication date: 10-Apr-2018.
  26. ACM
    Laghari G and Demeyer S On the use of sequence mining within spectrum based fault localisation Proceedings of the 33rd Annual ACM Symposium on Applied Computing, (1916-1924)
  27. (2018). Do android developers neglect error handling? a maintenance-Centric study on the relationship between android abstractions and uncaught exceptions, Journal of Systems and Software, 136:C, (1-18), Online publication date: 1-Feb-2018.
  28. ACM
    Clarke P, Davis D, Chang-Lau R and King T (2017). Impact of Using Tools in an Undergraduate Software Testing Course Supported by WReSTT, ACM Transactions on Computing Education, 17:4, (1-28), Online publication date: 7-Sep-2017.
  29. Herbold S and Hoffmann A (2017). Model-based testing as a service, International Journal on Software Tools for Technology Transfer (STTT), 19:3, (271-279), Online publication date: 1-Jun-2017.
  30. Orellana G, Laghari G, Murgia A and Demeyer S On the differences between unit and integration testing in the travistorrent dataset Proceedings of the 14th International Conference on Mining Software Repositories, (451-454)
  31. Perez A, Abreu R and van Deursen A A test-suite diagnosability metric for spectrum-based fault localization approaches Proceedings of the 39th International Conference on Software Engineering, (654-664)
  32. Li N and Offutt J (2017). Test Oracle Strategies for Model-Based Testing, IEEE Transactions on Software Engineering, 43:4, (372-395), Online publication date: 1-Apr-2017.
  33. Damasceno A, Machado P and Andrade W (2017). Testing real-time systems from compositional symbolic specifications, International Journal on Software Tools for Technology Transfer (STTT), 19:1, (53-71), Online publication date: 1-Feb-2017.
  34. ACM
    Hierons R and Türker U (2017). Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs, ACM Transactions on Software Engineering and Methodology, 26:1, (1-34), Online publication date: 31-Jan-2017.
  35. ACM
    Chen T, Shang W, Hassan A, Nasser M and Flora P CacheOptimizer: helping developers configure caching frameworks for hibernate-based database-centric web applications Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, (666-677)
  36. Hierons R and Turker U (2016). Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets, IEEE Transactions on Computers, 65:11, (3370-3383), Online publication date: 1-Nov-2016.
  37. ACM
    Almeida L, Cirilo E and Barbosa E SS-BDD Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing, (1-10)
  38. ACM
    Oliveira J, Cacho N, Borges D, Silva T and Castor F An Exploratory Study of Exception Handling Behavior in Evolving Android and Java Applications Proceedings of the XXX Brazilian Symposium on Software Engineering, (23-32)
  39. ACM
    Laghari G, Murgia A and Demeyer S Fine-tuning spectrum based fault localisation with frequent method item sets Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, (274-285)
  40. Wu H (2016). An SMT-based Approach for Generating Coverage Oriented Metamodel Instances, International Journal of Information System Modeling and Design, 7:3, (23-50), Online publication date: 1-Jul-2016.
  41. Bae J and Chae H (2016). Systematic approach for constructing an understandable state machine from a contract-based specification, Software and Systems Modeling (SoSyM), 15:3, (847-879), Online publication date: 1-Jul-2016.
  42. Yue T and Ali S (2016). Empirically evaluating OCL and Java for specifying constraints on UML models, Software and Systems Modeling (SoSyM), 15:3, (757-781), Online publication date: 1-Jul-2016.
  43. ACM
    Khalsa S, Labiche Y and Nicoletta J The power of single and error annotations in category partition testing Proceedings of the 20th International Conference on Evaluation and Assessment in Software Engineering, (1-10)
  44. Huang W and Peleska J (2016). Complete model-based equivalence class testing, International Journal on Software Tools for Technology Transfer (STTT), 18:3, (265-283), Online publication date: 1-Jun-2016.
  45. ACM
    Sena D, Coelho R, Kulesza U and Bonifácio R Understanding the exception handling strategies of Java libraries Proceedings of the 13th International Conference on Mining Software Repositories, (212-222)
  46. ACM
    Bavota G and Russo B A large-scale empirical study on self-admitted technical debt Proceedings of the 13th International Conference on Mining Software Repositories, (315-326)
  47. ACM
    Jourdan G, Ural H and Yenigün H Reducing locating sequences for testing from finite state machines Proceedings of the 31st Annual ACM Symposium on Applied Computing, (1654-1659)
  48. Schur M, Roth A and Zeller A (2015). Mining Workflow Models from Web Applications, IEEE Transactions on Software Engineering, 41:12, (1184-1201), Online publication date: 1-Dec-2015.
  49. Weiβleder S, Wartenberg F and Lackner H Automated Test Design for Boundaries of Product Line Variants Proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems - Volume 9447, (86-101)
  50. Güniçen C, Jourdan G and Yenigün H Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation Proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems - Volume 9447, (19-34)
  51. Ali S and Yue T Formalizing the ISO/IEC/IEEE 29119 software testing standard Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems, (396-405)
  52. ACM
    Matinnejad R, Nejati S, Briand L and Bruckmann T Effective test suites for mixed discrete-continuous stateflow controllers Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, (84-95)
  53. ACM
    van Deursen A (2015). Testing web applications with state objects, Communications of the ACM, 58:8, (36-43), Online publication date: 23-Jul-2015.
  54. ACM
    van Deursen A (2015). Beyond Page Objects: Testing Web Applications with State Objects, Queue, 13:6, (20-37), Online publication date: 1-Jun-2015.
  55. Coelho R, Almeida L, Gousios G and van Deursen A Unveiling exception handling bug hazards in Android based on GitHub and Google code issues Proceedings of the 12th Working Conference on Mining Software Repositories, (134-145)
  56. Anderson J, Salem S and Do H Striving for failure Proceedings of the 37th International Conference on Software Engineering - Volume 2, (49-58)
  57. ACM
    Izurieta C, Rojas G and Griffith I Preemptive Management of Model Driven Technical Debt for Improving Software Quality Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures, (31-36)
  58. Barr E, Harman M, McMinn P, Shahbaz M and Shin Yoo (2015). The Oracle Problem in Software Testing: A Survey, IEEE Transactions on Software Engineering, 41:5, (507-525), Online publication date: 1-May-2015.
  59. Schmidt A, Durak U, Rasch C and Pawletta T Model-based testing approach for MATLAB/simulink using system entity structure and experimental frames Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (69-76)
  60. ACM
    Tiwari S and Gupta A An Approach of Generating Test Requirements for Agile Software Development Proceedings of the 8th India Software Engineering Conference, (186-195)
  61. ACM
    Clarke P, Davis D, King T, Pava J and Jones E (2014). Integrating Testing into Software Engineering Courses Supported by a Collaborative Learning Environment, ACM Transactions on Computing Education, 14:3, (1-33), Online publication date: 3-Nov-2014.
  62. Lv J, Yin B and Cai K (2014). Estimating confidence interval of software reliability with adaptive testing strategy, Journal of Systems and Software, 97:C, (192-206), Online publication date: 1-Nov-2014.
  63. Güniçen C, İnan K, Türker U and Yenigün H (2014). The relation between preset distinguishing sequences and synchronizing sequences, Formal Aspects of Computing, 26:6, (1153-1167), Online publication date: 1-Nov-2014.
  64. Schmidberger R Well-Defined Coverage Metrics for the Glass Box Test Proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems - Volume 8763, (113-128)
  65. ACM
    Gama K and Donsez D (2014). Deployment and activation of faulty components at runtime for testing self-recovery mechanisms, ACM SIGAPP Applied Computing Review, 14:3, (44-54), Online publication date: 22-Sep-2014.
  66. ACM
    Lackner H and Schmidt M Towards the assessment of software product line tests Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2, (62-69)
  67. ACM
    Schur M, Roth A and Zeller A ProCrawl: mining test models from multi-user web applications Proceedings of the 2014 International Symposium on Software Testing and Analysis, (413-416)
  68. ACM
    Ali S, Iqbal M and Arcuri A Improved heuristics for solving OCL constraints using search algorithms Proceedings of the 2014 Annual Conference on Genetic and Evolutionary Computation, (1231-1238)
  69. Li Y, Das P and Dowe D (2014). Two decades of Web application testing—A survey of recent advances, Information Systems, 43:C, (20-54), Online publication date: 1-Jul-2014.
  70. ACM
    Anderson J, Salem S and Do H Improving the effectiveness of test suite through mining historical data Proceedings of the 11th Working Conference on Mining Software Repositories, (142-151)
  71. ACM
    Chen T, Shang W, Jiang Z, Hassan A, Nasser M and Flora P Detecting performance anti-patterns for applications developed using object-relational mapping Proceedings of the 36th International Conference on Software Engineering, (1001-1012)
  72. ACM
    Sahaf Z, Garousi V, Pfahl D, Irving R and Amannejad Y When to automate software testing? decision support based on system dynamics: an industrial case study Proceedings of the 2014 International Conference on Software and System Process, (149-158)
  73. Hierons R and Türker U Distinguishing Sequences for Partially Specified FSMs Proceedings of the 6th International Symposium on NASA Formal Methods - Volume 8430, (62-76)
  74. ACM
    Gama K and Donsez D A fault deployment and activation approach for testing self-recovery mechanisms Proceedings of the 29th Annual ACM Symposium on Applied Computing, (1114-1119)
  75. ACM
    Briand L, Falessi D, Nejati S, Sabetzadeh M and Yue T (2014). Traceability and SysML design slices to support safety inspections, ACM Transactions on Software Engineering and Methodology, 23:1, (1-43), Online publication date: 1-Feb-2014.
  76. Sarma M (2014). Mutation analysis approach to develop reliable object-oriented software, Advances in Software Engineering, 2014, (6-6), Online publication date: 1-Jan-2014.
  77. Pretschner A, Holling D, Eschbach R and Gemmar M A Generic Fault Model for Quality Assurance Proceedings of the 16th International Conference on Model-Driven Engineering Languages and Systems - Volume 8107, (87-103)
  78. Le Goues C, Forrest S and Weimer W (2013). Current challenges in automatic software repair, Software Quality Journal, 21:3, (421-443), Online publication date: 1-Sep-2013.
  79. Briand L, Labiche Y and Chen K A Multi-objective Genetic Algorithm to Rank State-Based Test Cases Proceedings of the 5th International Symposium on Search Based Software Engineering - Volume 8084, (66-80)
  80. ACM
    Schur M, Roth A and Zeller A Mining behavior models from enterprise web applications Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, (422-432)
  81. ACM
    Singhal A, Bansal A and Kumar A (2013). A critical review of various testing techniques in aspect-oriented software systems, ACM SIGSOFT Software Engineering Notes, 38:4, (1-9), Online publication date: 12-Jul-2013.
  82. ACM
    Shirole M and Kumar R (2013). UML behavioral model based test case generation, ACM SIGSOFT Software Engineering Notes, 38:4, (1-13), Online publication date: 12-Jul-2013.
  83. Alves E, Machado P, Massoni T and Santos S A refactoring-based approach for test case selection and prioritization Proceedings of the 8th International Workshop on Automation of Software Test, (93-99)
  84. Kulesza U, Soares S, Chavez C, Castor F, Borba P, Lucena C, Masiero P, Sant'Anna C, Ferrari F, Alves V, Coelho R, Figueiredo E, Pires P, Delicato F, Piveta E, Silva C, Camargo V, Braga R, Leite J, Lemos O, MendonçA N, Batista T, BonifáCio R, Cacho N, Silva L, Von Staa A, Silveira F, Valente M, Alencar F, Castro J, Ramos R, Penteado R and Rubira C (2013). The crosscutting impact of the AOSD Brazilian research community, Journal of Systems and Software, 86:4, (905-933), Online publication date: 1-Apr-2013.
  85. ACM
    Tiwari R and Goel N (2013). Reuse, ACM SIGSOFT Software Engineering Notes, 38:2, (1-11), Online publication date: 23-Mar-2013.
  86. ACM
    Santos A, Gaia F, Figueiredo E, Neto P and Araújo J Test-based SPL extraction Proceedings of the 28th Annual ACM Symposium on Applied Computing, (1031-1036)
  87. ACM
    Hemmati H, Arcuri A and Briand L (2013). Achieving scalable model-based testing through test case diversity, ACM Transactions on Software Engineering and Methodology, 22:1, (1-42), Online publication date: 1-Feb-2013.
  88. Johansen M, Haugen Ø, Fleurey F, Eldegard A and Syversen T Generating better partial covering arrays by modeling weights on sub-product lines Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems, (269-284)
  89. Gutiérrez J, Aragón G, Mejías M, Domínguez Mayo F and Ruiz Cutilla C Automatic test case generation from functional requirements in NDT Proceedings of the 12th international conference on Current Trends in Web Engineering, (176-185)
  90. Mirshokraie S and Mesbah A JSART Proceedings of the 12th international conference on Web Engineering, (238-252)
  91. Lemos O, Ferrari F, Silveira F and Garcia A Development of auxiliary functions: should you be agile? an empirical assessment of pair programming and test-first programming Proceedings of the 34th International Conference on Software Engineering, (529-539)
  92. Greiler M, van Deursen A and Zaidman A Measuring test case similarity to support test suite understanding Proceedings of the 50th international conference on Objects, Models, Components, Patterns, (91-107)
  93. ACM
    Gulia P and Chillar R (2012). A new approach to generate and optimize test cases for UML state diagram using genetic algorithm, ACM SIGSOFT Software Engineering Notes, 37:3, (1-5), Online publication date: 16-May-2012.
  94. Andrade W and Machado P (2012). Testing interruptions in reactive systems, Formal Aspects of Computing, 24:3, (331-353), Online publication date: 1-May-2012.
  95. Clarke P, Power J, Babich D and King T (2012). A testing strategy for abstract classes, Software Testing, Verification & Reliability, 22:3, (147-169), Online publication date: 1-May-2012.
  96. ACM
    Ali S, Yue T and Malik Z Comprehensively evaluating conformance error rates of applying aspect state machines Proceedings of the 11th annual international conference on Aspect-oriented Software Development, (155-166)
  97. Ali S, Briand L, Arcuri A and Walawege S An industrial application of robustness testing using aspect-oriented modeling, UML/MARTE, and Search algorithms Proceedings of the 14th international conference on Model driven engineering languages and systems, (108-122)
  98. ACM
    Oster S, Zink M, Lochau M and Grechanik M Pairwise feature-interaction testing for SPLs Proceedings of the 15th International Software Product Line Conference, Volume 2, (1-8)
  99. ACM
    Hura D and Dimmich M A method facilitating integration testing of embedded software Proceedings of the Ninth International Workshop on Dynamic Analysis, (7-11)
  100. ACM
    Johansen M, Haugen Ø and Fleurey F Bow tie testing Proceedings of the 16th European Conference on Pattern Languages of Programs, (1-13)
  101. ACM
    Hakonen H, Hyrynsalmi S and Järvi A Reducing the number of unit tests with design by contract Proceedings of the 12th International Conference on Computer Systems and Technologies, (161-166)
  102. ACM
    Hummer W, Raz O and Dustdar S Towards efficient measuring of web services API coverage Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems, (22-28)
  103. ACM
    Just R, Kapfhammer G and Schweiggert F Using conditional mutation to increase the efficiency of mutation analysis Proceedings of the 6th International Workshop on Automation of Software Test, (50-56)
  104. ACM
    Kidwell B A decision support system for the classification of software coding faults Proceedings of the 33rd International Conference on Software Engineering, (1158-1160)
  105. Lazzarini Lemos O, Bajracharya S, Ossher J, Masiero P and Lopes C (2011). A test-driven approach to code search and its application to the reuse of auxiliary functionality, Information and Software Technology, 53:4, (294-306), Online publication date: 1-Apr-2011.
  106. ACM
    Edvinsson M, Lundberg J and Löwe W Parallel points-to analysis for multi-core machines Proceedings of the 6th International Conference on High Performance and Embedded Architectures and Compilers, (45-54)
  107. Hemmati H, Arcuri A and Briand L Reducing the cost of model-based testing through test case diversity Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems, (63-78)
  108. Da Veiga Cabral R, Pozo A and Vergilio S A Pareto ant colony algorithm applied to the class integration and test order problem Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems, (16-29)
  109. ACM
    Le Goues C, Forrest S and Weimer W The case for software evolution Proceedings of the FSE/SDP workshop on Future of software engineering research, (205-210)
  110. ACM
    Hemmati H, Briand L, Arcuri A and Ali S An enhanced test case selection approach for model-based testing Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, (267-276)
  111. Jourdan G, Ural H, Yenigün H and Zhang J (2010). Lower bounds on lengths of checking sequences, Formal Aspects of Computing, 22:6, (667-679), Online publication date: 1-Nov-2010.
  112. ACM
    Maciel C, Machado P and Ramalho F An integration testing approach based on test patterns and MDA techniques Proceedings of the 8th Latin American Conference on Pattern Languages of Programs, (1-16)
  113. ACM
    De Pontes Cafeo B, Ré R, Braga R and Masiero P A catalogue of stub and driver patterns to support integration testing of aspect-oriented programs Proceedings of the 8th Latin American Conference on Pattern Languages of Programs, (1-14)
  114. Gupta A An approach for class testing from class contracts Proceedings of the 8th international conference on Automated technology for verification and analysis, (203-217)
  115. Heuer A, Budnik C, Konrad S, Lauenroth K and Pohl K Formal definition of syntax and semantics for documenting variability in activity diagrams Proceedings of the 14th international conference on Software product lines: going beyond, (62-76)
  116. Haschemi S and Weißleder S A generic approach to run mutation analysis Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques, (155-164)
  117. ACM
    Kim-Park D, de la Riva C and Tuya J An automated test oracle for XML processing programs Proceedings of the First International Workshop on Software Test Output Validation, (5-12)
  118. ACM
    Dobolyi K and Weimer W Modeling consumer-perceived web application fault severities for testing Proceedings of the 19th international symposium on Software testing and analysis, (97-106)
  119. ACM
    Fast E, Le Goues C, Forrest S and Weimer W Designing better fitness functions for automated program repair Proceedings of the 12th annual conference on Genetic and evolutionary computation, (965-972)
  120. ACM
    Soetens Q, Ebraert P and Demeyer S Avoiding bugs pro-actively by change-oriented programming Proceedings of the 1st Workshop on Testing Object-Oriented Systems, (1-7)
  121. ACM
    Wolfmaier K, Ramler R and Dobler H Issues in testing collection class libraries Proceedings of the 1st Workshop on Testing Object-Oriented Systems, (1-8)
  122. ACM
    Strasser A, Mayr H and Naderhirn T Harmonizing the test support for object-oriented legacy systems using state-of-the-art test tools Proceedings of the 1st Workshop on Testing Object-Oriented Systems, (1-7)
  123. ACM
    Sneed H Testing object-oriented software systems Proceedings of the 1st Workshop on Testing Object-Oriented Systems, (1-5)
  124. Bouchachia A, Mittermeir R, Sielecky P, Stafiej S and Zieminski M (2010). Nature-inspired techniques for conformance testing of object-oriented software, Applied Soft Computing, 10:3, (730-745), Online publication date: 1-Jun-2010.
  125. ACM
    Mala D and Mohan V (2010). Quality improvement and optimization of test cases, ACM SIGSOFT Software Engineering Notes, 35:3, (1-14), Online publication date: 11-May-2010.
  126. ACM
    Just R and Schweiggert F Automating software tests with partial oracles in integrated environments Proceedings of the 5th Workshop on Automation of Software Test, (91-94)
  127. ACM
    Sarma M, Murthy P, Jell S and Ulrich A Model-based testing in industry Proceedings of the 5th Workshop on Automation of Software Test, (87-90)
  128. ACM
    Greiler M, Gross H and van Deursen A Evaluation of online testing for services Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems, (36-42)
  129. ACM
    Poon P, Tang S, Tse T and Chen T (2010). CHOC'LATE, Communications of the ACM, 53:4, (113-118), Online publication date: 1-Apr-2010.
  130. ACM
    Tang J and Lo E A lightweight framework for testing database applications Proceedings of the 2010 ACM Symposium on Applied Computing, (1632-1637)
  131. Cabot J, Clarisó R, Guerra E and de Lara J (2010). Verification and validation of declarative model-to-model transformations through invariants, Journal of Systems and Software, 83:2, (283-302), Online publication date: 1-Feb-2010.
  132. Tempero E, Counsell S and Noble J An empirical study of overriding in open source Java Proceedings of the Thirty-Third Australasian Conferenc on Computer Science - Volume 102, (3-12)
  133. Simão A, Petrenko A and Yevtushenko N Generating Reduced Tests for FSMs with Extra States Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop, (129-145)
  134. Dias-Neto A and Travassos G (2009). Model-based testing approaches selection for software projects, Information and Software Technology, 51:11, (1487-1504), Online publication date: 1-Nov-2009.
  135. Bluemke I and Rembiszewski A Dataflow testing of java programs with DFC Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques, (215-228)
  136. ACM
    Haschemi S Model transformations to satisfy all-configurations-transitions on statecharts Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, (1-10)
  137. Lundberg J, Gutzmann T, Edvinsson M and Löwe W (2009). Fast and precise points-to analysis, Information and Software Technology, 51:10, (1428-1439), Online publication date: 1-Oct-2009.
  138. Dadeau F and Tissot R (2009). jSynoPSys -- A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines, Electronic Notes in Theoretical Computer Science (ENTCS), 253:2, (117-132), Online publication date: 1-Oct-2009.
  139. Küster J, Gschwind T and Zimmermann O Incremental Development of Model Transformation Chains Using Automated Testing Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, (733-747)
  140. Weißleder S Influencing Factors in Model-Based Testing with UML State Machines Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, (211-225)
  141. Belli F, Eminov M and Gokce N Model-based test prioritizing Proceedings of the 32nd annual German conference on Advances in artificial intelligence, (427-434)
  142. Xu D, El-Ariss O, Xu W and Wang L (2009). Aspect-oriented modeling and verification with finite state machines, Journal of Computer Science and Technology, 24:5, (949-961), Online publication date: 1-Sep-2009.
  143. ACM
    Forrest S, Nguyen T, Weimer W and Le Goues C A genetic programming approach to automated software repair Proceedings of the 11th Annual conference on Genetic and evolutionary computation, (947-954)
  144. ACM
    Biswas S, Mall R, Satpathy M and Sukumaran S (2009). A model-based regression test selection approach for embedded applications, ACM SIGSOFT Software Engineering Notes, 34:4, (1-9), Online publication date: 6-Jul-2009.
  145. Robles Luna E, Grigera J and Rossi G Bridging Test and Model-Driven Approaches in Web Engineering Proceedings of the 9th International Conference on Web Engineering, (136-150)
  146. Goriac E, Caltais G, Lucanu D, Andrei O and Grigoraş G (2009). Patterns for Maude Metalanguage Applications, Electronic Notes in Theoretical Computer Science (ENTCS), 238:3, (121-138), Online publication date: 1-Jun-2009.
  147. Mesbah A and van Deursen A Invariant-based automatic testing of AJAX user interfaces Proceedings of the 31st International Conference on Software Engineering, (210-220)
  148. Zhang Z, Thangarajah J and Padgham L Automated testing for intelligent agent systems Proceedings of the 10th international conference on Agent-oriented software engineering, (66-79)
  149. Zhang Z, Thangarajah J and Padgham L Model based testing for agent systems Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2, (1333-1334)
  150. Chang S, Hsieh K and Lee J pTest Proceedings of the Conference on Design, Automation and Test in Europe, (1012-1017)
  151. Flores A and Polo M (2009). Testing-based Process for Evaluating Component Replaceability, Electronic Notes in Theoretical Computer Science (ENTCS), 236, (101-115), Online publication date: 1-Apr-2009.
  152. ACM
    Proulx V (2009). Test-driven design for introductory OO programming, ACM SIGCSE Bulletin, 41:1, (138-142), Online publication date: 4-Mar-2009.
  153. ACM
    Proulx V Test-driven design for introductory OO programming Proceedings of the 40th ACM technical symposium on Computer science education, (138-142)
  154. ACM
    Harman M, Islam F, Xie T and Wappler S Automated test data generation for aspect-oriented programs Proceedings of the 8th ACM international conference on Aspect-oriented software development, (185-196)
  155. ACM
    Saini D (2009). Testing polymorphism in object oriented systems for improving software quality, ACM SIGSOFT Software Engineering Notes, 34:2, (1-5), Online publication date: 28-Feb-2009.
  156. ACM
    Nayak A and Samanta D (2009). Model-based test cases synthesis using UML interaction diagrams, ACM SIGSOFT Software Engineering Notes, 34:2, (1-10), Online publication date: 28-Feb-2009.
  157. ACM
    Najumudheen E, Mall R and Samanta D (2009). A dependence graph-based representation for test coverage analysis of object-oriented programs, ACM SIGSOFT Software Engineering Notes, 34:2, (1-8), Online publication date: 28-Feb-2009.
  158. Sarma M and Mall R (2009). Automatic generation of test specifications for coverage of system state transitions, Information and Software Technology, 51:2, (418-432), Online publication date: 1-Feb-2009.
  159. ACM
    Suman R and Mall R (2009). State model extraction of a software component by observing its behavior, ACM SIGSOFT Software Engineering Notes, 34:1, (1-7), Online publication date: 31-Jan-2009.
  160. Qin-qun F, Wen-fang Y and She-qiang P Research and practice of distributed test platform Proceedings of the 3rd WSEAS international conference on Computer engineering and applications, (224-227)
  161. Al Dallal J Integrated object-oriented framework-based testing environment Proceedings of the 8th conference on Applied computer scince, (111-116)
  162. ACM
    Gutiérrez J, Escalona M, Mejías M, Ramos I and Gómez C Automatic application of the category-partition method with loops support over functional requirements Proceedings of the 2008 Euro American Conference on Telematics and Information Systems, (1-8)
  163. Lo D and Khoo S (2008). Mining patterns and rules for software specification discovery, Proceedings of the VLDB Endowment, 1:2, (1609-1616), Online publication date: 1-Aug-2008.
  164. Cai K, Jiang C, Hu H and Bai C (2008). An experimental study of adaptive testing for software reliability assessment, Journal of Systems and Software, 81:8, (1406-1429), Online publication date: 1-Aug-2008.
  165. ACM
    Qu X, Cohen M and Rothermel G Configuration-aware regression testing Proceedings of the 2008 international symposium on Software testing and analysis, (75-86)
  166. ACM
    Binnig C, Kossmann D and Lo E Multi-RQP Proceedings of the 1st international workshop on Testing database systems, (1-6)
  167. Zhang Z, Thangarajah J and Padgham L Automated unit testing intelligent agents in PDT Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers, (1673-1674)
  168. ACM
    Arnold D and Corriveau J Automated instrumentation of contracts and scenarios for requirements validation in .net Proceedings of the 3rd international workshop on Automation of software test, (63-66)
  169. ACM
    Naslavsky L, Ziv H and Richardson D Using model transformation to support model-based test coverage measurement Proceedings of the 3rd international workshop on Automation of software test, (1-6)
  170. Denaro G, Gorla A and Pezzè M Contextual integration testing of classes Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering, (246-260)
  171. ACM
    Im K, Im T and McGregor J Automating test case definition using a domain specific language Proceedings of the 46th annual ACM Southeast Conference, (180-185)
  172. Cai K, Dong Z and Liu K (2008). Software testing processes as a linear dynamic system, Information Sciences: an International Journal, 178:6, (1558-1597), Online publication date: 20-Mar-2008.
  173. ACM
    Cartaxo E, Andrade W, Neto F and Machado P LTS-BT Proceedings of the 2008 ACM symposium on Applied computing, (1540-1544)
  174. ACM
    Santos-Neto P, Resende R and Pádua C An evaluation of a model-based testing method for information systems Proceedings of the 2008 ACM symposium on Applied computing, (770-776)
  175. ACM
    Somé S and Cheng X An approach for supporting system-level test scenarios generation from textual use cases Proceedings of the 2008 ACM symposium on Applied computing, (724-729)
  176. ACM
    Belli F and Hollmann A Test generation and minimization with "basic" statecharts Proceedings of the 2008 ACM symposium on Applied computing, (718-723)
  177. ACM
    Bayan M and Cangussu J Automatic feedback, control-based, stress and load testing Proceedings of the 2008 ACM symposium on Applied computing, (661-666)
  178. Sarma M and Mall R (2008). System state coverage through automatic test case generation, International Journal of Information and Communication Technology, 1:3/4, (347-372), Online publication date: 1-Mar-2008.
  179. Garousi V, Briand L and Labiche Y (2008). Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms, Journal of Systems and Software, 81:2, (161-185), Online publication date: 1-Feb-2008.
  180. Ammann P, Offutt J and Xu W Coverage criteria for state based specifications Formal methods and testing, (118-156)
  181. ACM
    Naslavsky L and Richardson D Using traceability to support model-based regression testing Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, (567-570)
  182. ACM
    Naslavsky L, Ziv H and Richardson D Towards leveraging model transformation to support model-based testing Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, (509-512)
  183. ACM
    Sarma M and Mall R (2007). Synthesis of system state models, ACM SIGPLAN Notices, 42:11, (5-14), Online publication date: 1-Nov-2007.
  184. Ali S, Briand L, Rehman M, Asghar H, Iqbal M and Nadeem A (2007). A state-based approach to integration testing based on UML models, Information and Software Technology, 49:11-12, (1087-1106), Online publication date: 1-Nov-2007.
  185. Xu K and Liang D Formally defining a graphical language for monitoring and checking object interactions Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems, (620-634)
  186. Pilskalns O, Wallace S and Ilas F Runtime debugging using reverse-engineered UML Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems, (605-619)
  187. Ambrosio A, Mattiello-Francisco F, Santiago V, Silva W and Martins E Designing fault injection experiments using state-based model to test a space software Proceedings of the Third Latin-American conference on Dependable Computing, (170-178)
  188. Belli F, Eminov M and Gökçe N Coverage-oriented, prioritized testing Proceedings of the Third Latin-American conference on Dependable Computing, (95-110)
  189. Brito P, De Lemos R, Martins E and Rubira C Architecture-centric fault tolerance with exception handling Proceedings of the Third Latin-American conference on Dependable Computing, (75-94)
  190. Bati H, Giakoumakis L, Herbert S and Surna A A genetic approach for random testing of database systems Proceedings of the 33rd international conference on Very large data bases, (1243-1251)
  191. Friske M and Schlingloff B Improving test coverage for UML state machines using transition instrumentation Proceedings of the 26th international conference on Computer Safety, Reliability, and Security, (301-314)
  192. ACM
    Baerisch S Model-driven test-case construction Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, (587-590)
  193. ACM
    Evans R and Savoia A Differential testing Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, (549-552)
  194. ACM
    Guderlei R, Mayer J, Schneckenburger C and Fleischer F Testing randomized software by means of statistical hypothesis tests Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting, (46-54)
  195. ACM
    Baerisch S Model-driven test-case construction The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers, (587-590)
  196. ACM
    Evans R and Savoia A Differential testing The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers, (549-552)
  197. Bouhdadi M, Balouki Y and Chabbar E Meta-modelling syntax and semantics of structural concepts for open networked enterprises Proceedings of the 2007 international conference on Computational science and its applications - Volume Part III, (45-54)
  198. ACM
    Lo D, Khoo S and Liu C Efficient mining of iterative patterns for software specification discovery Proceedings of the 13th ACM SIGKDD international conference on Knowledge discovery and data mining, (460-469)
  199. ACM
    Naslavsky L, Ziv H and Richardson D Towards traceability of model-based testing artifacts Proceedings of the 3rd international workshop on Advances in model-based testing, (105-114)
  200. Brenner D, Atkinson C, Malaka R, Merdes M, Paech B and Suliman D (2007). Reducing verification effort in component-based software engineering through built-in testing, Information Systems Frontiers, 9:2-3, (151-162), Online publication date: 1-Jul-2007.
  201. Chan W, Chen T, Cheung S, Tse T and Zhang Z Towards the testing of power-aware software applications for wireless sensor networks Proceedings of the 12th international conference on Reliable software technologies, (84-99)
  202. ACM
    Packevičius Š, Ušaniov A and Bareiša E Software testing using imprecise OCL constraints as oracles Proceedings of the 2007 international conference on Computer systems and technologies, (1-6)
  203. ACM
    Zhang W and Ryder B Discovering accurate interclass test dependences Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (55-62)
  204. Bertolino A Software Testing Research 2007 Future of Software Engineering, (85-103)
  205. Reis S, Metzger A and Pohl K Integration testing in software product line engineering Proceedings of the 10th international conference on Fundamental approaches to software engineering, (321-335)
  206. ACM
    Stevens R, Parsons B and King T A self-testing autonomic container Proceedings of the 45th annual ACM Southeast Conference, (1-6)
  207. ACM
    Xu D and He X Generation of test requirements from aspectual use cases Proceedings of the 3rd workshop on Testing aspect-oriented programs, (17-22)
  208. ACM
    Zhao C and Alexander R Testing AspectJ programs using fault-based testing Proceedings of the 3rd workshop on Testing aspect-oriented programs, (13-16)
  209. ACM
    Santos-Neto P, Resende R and Pádua C Requirements for information systems model-based testing Proceedings of the 2007 ACM symposium on Applied computing, (1409-1415)
  210. ACM
    Stoecklin S, Smith S and Serino C (2007). Teaching students to build well formed object-oriented methods through refactoring, ACM SIGCSE Bulletin, 39:1, (145-149), Online publication date: 7-Mar-2007.
  211. ACM
    Stoecklin S, Smith S and Serino C Teaching students to build well formed object-oriented methods through refactoring Proceedings of the 38th SIGCSE technical symposium on Computer science education, (145-149)
  212. Corriveau J and Bashardoust-Tajali S Generative hierarchical contracts for conformance testing of sequential containers Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering, (279-284)
  213. Corriveau J Testable requirements for offshore outsourcing Proceedings of the 1st international conference on Software engineering approaches for offshore and outsourced development, (27-43)
  214. Melton H and Tempero E The CRSS metric for package design quality Proceedings of the thirtieth Australasian conference on Computer science - Volume 62, (201-210)
  215. Melton H and Tempero E JooJ Proceedings of the thirtieth Australasian conference on Computer science - Volume 62, (87-95)
  216. Meyer B, Ciupa I, Leitner A and Liu L Automatic Testing of Object-Oriented Software Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science, (114-129)
  217. ACM
    Merdes M, Malaka R, Suliman D, Paech B, Brenner D and Atkinson C Ubiquitous RATs Proceedings of the 6th international workshop on Software engineering and middleware, (55-62)
  218. ACM
    Hu P, Zhang Z, Chan W and Tse T An empirical comparison between direct and indirect test result checking approaches Proceedings of the 3rd international workshop on Software quality assurance, (6-13)
  219. ACM
    Elbaum S, Chin H, Dwyer M and Dokulil J Carving differential unit test cases from system test cases Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, (253-264)
  220. ACM
    Do H and Rothermel G An empirical study of regression testing techniques incorporating context and lifetime factors and improved cost-benefit models Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, (141-151)
  221. Gökçe N, Eminov M and Belli F Coverage-Based, prioritized testing using neural network clustering Proceedings of the 21st international conference on Computer and Information Sciences, (1060-1071)
  222. Küster J and Abd-El-Razik M Validation of model transformations Proceedings of the 2006 international conference on Models in software engineering, (193-204)
  223. Engels G, Güldali B and Lohmann M Towards model-driven unit testing Proceedings of the 2006 international conference on Models in software engineering, (182-192)
  224. Sharp M and Rountev A (2006). Static Analysis of Object References in RMI-Based Java Software, IEEE Transactions on Software Engineering, 32:9, (664-681), Online publication date: 1-Sep-2006.
  225. ACM
    Merdes M and Dorsch D Experiences with the development of a reverse engineering tool for UML sequence diagrams Proceedings of the 4th international symposium on Principles and practice of programming in Java, (125-134)
  226. Kraft N, Lloyd E, Malloy B and Clarke P (2006). The implementation of an extensible system for comparison and visualization of class ordering methodologies, Journal of Systems and Software, 79:8, (1092-1109), Online publication date: 1-Aug-2006.
  227. ACM
    Anbalagan P and Xie T APTE Proceedings of the 2nd workshop on Testing aspect-oriented programs, (27-32)
  228. ACM
    Xu W and Xu D State-based testing of integration aspects Proceedings of the 2nd workshop on Testing aspect-oriented programs, (7-14)
  229. ACM
    Bækken J and Alexander R Towards a fault model for AspectJ programs Proceedings of the 2nd workshop on Testing aspect-oriented programs, (1-6)
  230. ACM
    Sprenkle S, Gibson E, Sampath S and Pollock L A case study of automatically creating test suites from web application field data Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications, (1-9)
  231. Mohamed B, Chabbar E and Aqarrout A OCL for the ODP information viewpoint specifications Proceedings of the 10th WSEAS international conference on Computers, (1336-1341)
  232. ACM
    Gutiérrez J, Escalona M, Mejías M and Torres J An approach to generate test cases from use cases Proceedings of the 6th international conference on Web engineering, (113-114)
  233. ACM
    Martínez F, Molina F, Toval Álvarez A, De Castro M, Cáceres P and Marcos E Precise wis development Proceedings of the 6th international conference on Web engineering, (71-76)
  234. Jäntti M, Toroi T and Eerola A Difficulties in establishing a defect management process Proceedings of the 7th international conference on Product-Focused Software Process Improvement, (142-150)
  235. ACM
    Briand L, Labiche Y and Sówka M Automated, contract-based user testing of commercial-off-the-shelf components Proceedings of the 28th international conference on Software engineering, (92-101)
  236. Chi H, Jones E, Evans D and Brown M Generating test data for specification-based tests via quasirandom sequences Proceedings of the 6th international conference on Computational Science - Volume Part IV, (773-780)
  237. ACM
    Murthy P, Anitha P, Mahesh M and Subramanyan R Test ready UML statechart models Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, (75-82)
  238. ACM
    Cai K, Li Y, Ning W, Wong W and Hu H Optimal and adaptive testing with cost constraints Proceedings of the 2006 international workshop on Automation of software test, (71-77)
  239. ACM
    Gallagher L and Offutt J Automatically testing interacting software components Proceedings of the 2006 international workshop on Automation of software test, (57-63)
  240. ACM
    Coelho R, Kulesza U, von Staa A and Lucena C Unit testing in multi-agent systems using mock agents and aspects Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, (83-90)
  241. Din G, Tolea S and Schieferdecker I Distributed load tests with TTCN-3 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems, (177-196)
  242. ACM
    Xu D and Xu W State-based incremental testing of aspect-oriented programs Proceedings of the 5th international conference on Aspect-oriented software development, (180-189)
  243. ACM
    Jones E Test-driven specification Proceedings of the 44th annual ACM Southeast Conference, (796-797)
  244. Nebut C, Fleurey F, Le Traon Y and Jezequel J (2006). Automatic Test Generation, IEEE Transactions on Software Engineering, 32:3, (140-155), Online publication date: 1-Mar-2006.
  245. Meyer B Dependable software Dependable Systems, (1-33)
  246. ACM
    Rountev A, Volgin O and Reddoch M (2005). Static control-flow analysis for reverse engineering of UML sequence diagrams, ACM SIGSOFT Software Engineering Notes, 31:1, (96-102), Online publication date: 1-Jan-2006.
  247. Mitchell Á and Power J (2006). A study of the influence of coverage on the relationship between static and dynamic coupling metrics, Science of Computer Programming, 59:1-2, (4-25), Online publication date: 1-Jan-2006.
  248. Amyot D, Logrippo L and Weiss M (2005). Generation of test purposes from Use Case Maps, Computer Networks: The International Journal of Computer and Telecommunications Networking, 49:5, (643-660), Online publication date: 5-Dec-2005.
  249. ACM
    Lormans M and van Deursen A Reconstructing requirements coverage views from design and test using traceability recovery via LSI Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering, (37-42)
  250. ACM
    Sprenkle S, Gibson E, Sampath S and Pollock L Automated replay and failure detection for web applications Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, (253-262)
  251. da S. Brito P, Rocha C, Filho F, Martins E and Rubira C A method for modeling and testing exceptions in component-based software development Proceedings of the Second Latin-American conference on Dependable Computing, (61-79)
  252. Ceballos R, Gasca R, Del Valle C and Borrego D Diagnosing errors in dbc programs using constraint programming Proceedings of the 11th Spanish association conference on Current Topics in Artificial Intelligence, (200-210)
  253. Sokenou D and Vösgen M FlexTest Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality, (257-270)
  254. Cai K, Zhao L, Hu H and Jiang C On the Test Case Definition for GUI Testing Proceedings of the Fifth International Conference on Quality Software, (19-28)
  255. LI H and LAM C An Ant Colony Optimization Approach to Test Sequence Generation for Statebased Software Testin Proceedings of the Fifth International Conference on Quality Software, (255-264)
  256. ACM
    Rountev A, Volgin O and Reddoch M Static control-flow analysis for reverse engineering of UML sequence diagrams Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (96-102)
  257. Lazic L and Mastorakis N RBOSTP Proceedings of the 9th WSEAS International Conference on Computers, (1-15)
  258. Lazic L and Mastorakis N RBOSTP Proceedings of the 9th WSEAS International Conference on Computers, (1-14)
  259. ACM
    Olimpiew E and Gomaa H (2005). Model-based testing for applications derived from software product lines, ACM SIGSOFT Software Engineering Notes, 30:4, (1-7), Online publication date: 1-Jul-2005.
  260. ACM
    Briand L, Labiche Y and Shousha M Stress testing real-time systems with genetic algorithms Proceedings of the 7th annual conference on Genetic and evolutionary computation, (1021-1028)
  261. Belli F and Güldali B A holistic approach to test-driven model checking Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence, (321-331)
  262. Amyot D, Roy J and Weiss M UCM-Driven testing of web applications Proceedings of the 12th international conference on Model Driven, (247-264)
  263. Reuys A, Kamsties E, Pohl K and Reis S Model-based system testing of software product families Proceedings of the 17th international conference on Advanced Information Systems Engineering, (519-534)
  264. ACM
    Olimpiew E and Gomaa H Model-based testing for applications derived from software product lines Proceedings of the 1st international workshop on Advances in model-based testing, (1-7)
  265. ACM
    Pretschner A Model-based testing Proceedings of the 27th international conference on Software engineering, (722-723)
  266. ACM
    Rountev A and Connell B Object naming analysis for reverse-engineered sequence diagrams Proceedings of the 27th international conference on Software engineering, (254-263)
  267. Al Dallal J and Sorenson P (2005). Reusing class-based test cases for testing object-oriented framework interface classes, Journal of Software Maintenance and Evolution: Research and Practice, 17:3, (169-196), Online publication date: 1-May-2005.
  268. Martins E and Vieira V Regression test selection for testable classes Proceedings of the 5th European conference on Dependable Computing, (453-470)
  269. Rountev A, Kagan S and Sawin J Coverage criteria for testing of object interactions in sequence diagrams Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering, (289-304)
  270. Fu C, Milanova A, Ryder B and Wonnacott D (2005). Robustness Testing of Java Server Applications, IEEE Transactions on Software Engineering, 31:4, (292-311), Online publication date: 1-Apr-2005.
  271. Li H and Lam C Using anti-ant-like agents to generate test threads from the UML diagrams Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems, (69-80)
  272. Elbaum S, Rothermel G, Karre S and Fisher II M (2005). Leveraging User-Session Data to Support Web Application Testing, IEEE Transactions on Software Engineering, 31:3, (187-202), Online publication date: 1-Mar-2005.
  273. Gross H, Schieferdecker I and Din G (2005). Model-Based Built-In Tests, Electronic Notes in Theoretical Computer Science (ENTCS), 111:C, (161-182), Online publication date: 1-Jan-2005.
  274. Gross H, Mayer N and Riano J Assessing real-time component contracts through built-in evolutionary testing Component-Based Software Development for Embedded Systems, (107-122)
  275. Briand L, Di Penta M and Labiche Y (2004). Assessing and Improving State-Based Class Testing, IEEE Transactions on Software Engineering, 30:11, (770-793), Online publication date: 1-Nov-2004.
  276. Bai X, Lam C and Li H An Approach to Generate the Thin-Threads from the UML Diagrams Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01, (546-552)
  277. Vouffo-Feudjio A and Schieferdecker I Test patterns with TTCN-3 Proceedings of the 4th international conference on Formal Approaches to Software Testing, (170-179)
  278. Belli F and Budnik C Minimal spanning set for coverage testing of interactive systems Proceedings of the First international conference on Theoretical Aspects of Computing, (220-234)
  279. Yan J, Wang J and Chen H Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models Proceedings of the Quality Software, Fourth International Conference, (22-31)
  280. ACM
    Wasowski A (2004). Flattening statecharts without explosions, ACM SIGPLAN Notices, 39:7, (257-266), Online publication date: 11-Jul-2004.
  281. ACM
    Fu C, Ryder B, Milanova A and Wonnacott D Testing of java web services for robustness Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, (23-34)
  282. ACM
    Rountev A, Kagan S and Gibas M Static and dynamic analysis of call chains in java Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, (1-11)
  283. ACM
    Fu C, Ryder B, Milanova A and Wonnacott D (2004). Testing of java web services for robustness, ACM SIGSOFT Software Engineering Notes, 29:4, (23-34), Online publication date: 1-Jul-2004.
  284. ACM
    Rountev A, Kagan S and Gibas M (2004). Static and dynamic analysis of call chains in java, ACM SIGSOFT Software Engineering Notes, 29:4, (1-11), Online publication date: 1-Jul-2004.
  285. ACM
    Wasowski A Flattening statecharts without explosions Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (257-266)
  286. Rountev A, Milanova A and Ryder B (2004). Fragment Class Analysis for Testing of Polymorphism in Java Software, IEEE Transactions on Software Engineering, 30:6, (372-387), Online publication date: 1-Jun-2004.
  287. Pezz M and Young M Testing Object Oriented Software Proceedings of the 26th International Conference on Software Engineering, (739-740)
  288. Briand L, Labiche Y and Wang Y Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart Proceedings of the 26th International Conference on Software Engineering, (86-95)
  289. ACM
    Aggarwal K, Singh Y, Kaur A and Sangwan O (2004). A neural net based approach to Test Oracle, ACM SIGSOFT Software Engineering Notes, 29:3, (1-6), Online publication date: 1-May-2004.
  290. ACM
    Bellettini C, Marchetto A and Trentini A WebUml Proceedings of the 2004 ACM symposium on Applied computing, (1662-1669)
  291. Rodríguez E, Dwyer M, Hatcliff J and Robby A flexible framework for the estimation of coverage metrics in explicit state software model checking Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, (210-228)
  292. Briand L, Labiche Y and Wang Y (2003). An Investigation of Graph-Based Class Integration Test Order Strategies, IEEE Transactions on Software Engineering, 29:7, (594-607), Online publication date: 1-Jul-2003.
  293. Bertolino A and Polini A A framework for component deployment testing Proceedings of the 25th International Conference on Software Engineering, (221-231)
  294. Rountev A, Milanova A and Ryder B Fragment class analysis for testing of polymorphism in Java software Proceedings of the 25th International Conference on Software Engineering, (210-220)
  295. Elbaum S, Karre S and Rothermel G Improving web application testing with user session data Proceedings of the 25th International Conference on Software Engineering, (49-59)
  296. ACM
    Traoré I A transition-based strategy for object-oriented software testing Proceedings of the 2003 ACM symposium on Applied computing, (1055-1062)
  297. Bertolino A Software testing research and practice Proceedings of the abstract state machines 10th international conference on Advances in theory and practice, (1-21)
  298. Ruiz J, Killijian M, Fabre J and Thévenod-Fosse P (2003). Reflective Fault-Tolerant Systems, IEEE Transactions on Computers, 52:2, (237-254), Online publication date: 1-Feb-2003.
  299. Balci O, Nance R, Arthur J and Ormsby W Improving the model development process Proceedings of the 34th conference on Winter simulation: exploring new frontiers, (653-663)
  300. ACM
    Jeon T, Seung H and Lee S (2002). Embedding built-in tests in hot spots of an object-oriented framework, ACM SIGPLAN Notices, 37:8, (25-34), Online publication date: 1-Aug-2002.
  301. ACM
    Briand L, Labiche Y and Sun H Investigating the use of analysis contracts to support fault isolation in object oriented code Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, (70-80)
  302. ACM
    Briand L, Labiche Y and Sun H (2002). Investigating the use of analysis contracts to support fault isolation in object oriented code, ACM SIGSOFT Software Engineering Notes, 27:4, (70-80), Online publication date: 1-Jul-2002.
  303. Younessi H, Zeephongsekul P and Bodhisuwan W (2002). A General Model of Unit Testing Efficacy, Software Quality Journal, 10:1, (69-92), Online publication date: 1-Jul-2002.
  304. ACM
    Rothermel G, Elbaum S, Malishevsky A, Kallakuri P and Davia B The impact of test suite granularity on the cost-effectiveness of regression testing Proceedings of the 24th International Conference on Software Engineering, (130-140)
  305. Mecke C Automated testing of mySAP business processes Software quality and software testing in internet times, (261-279)
  306. Morris J, Lam P, Lee G, Parker K and Bundell G (2002). Determining component reliability using a testing index, Australian Computer Science Communications, 24:1, (167-176), Online publication date: 1-Jan-2002.
  307. Morris J, Lam P, Lee G, Parker K and Bundell G Determining component reliability using a testing index Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4, (167-176)
  308. Martins E, Toyota C and Yanagawa R Constructing Self-Testable Software Components Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS), (151-160)
  309. Ruiz-Garcia J, Thévenod-Fosse P and Fabre J A Strategy for Testing MetaObject Protocols in Reflective Architectures Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS), (327-336)
  310. Carr J and Balci O Verification and validation of object-oriented artifacts throughout the simulation model development life cycle Proceedings of the 32nd conference on Winter simulation, (866-871)
  311. Balci O, Ormsby W, Carr J and Saadi S Planning for verification, validation, and accreditation of modeling and simulation applications Proceedings of the 32nd conference on Winter simulation, (829-839)
  312. Baudry B, Hanh V, Jézéquel J and Traon Y Building Trust into OO Components Using a Genetic Analogy Proceedings of the 11th International Symposium on Software Reliability Engineering
  313. Ali S, Yue T, Qiu X and Lu H Generating boundary values from OCL constraints using constraints rewriting and search algorithms 2016 IEEE Congress on Evolutionary Computation (CEC), (379-386)
Contributors

Reviews

Coskun Bayrak

Since software development requires curiosity, creativity, and commitment, the end product of this is nothing but an art, of which testing is the soul. This entire book is about testing. It seems to be the only comprehensive treatment of designing test suites and test automation for object-oriented software that is directed to software developers, and specifically to system software engineers. Many books and papers address the subject of testing. However, questions such as why, when, and how we test have never been analyzed as thoroughly as they are here. The aim of testing is to provide reliability, and thus to control the time and cost of software development. Since testing is a method of analyzing logical and functional behavior, it is performed during the development process. However, these issues are not as simple as they seem. The author's message, based on the approach taken in this book, seems to be that testing should be less thorough yet more efficient. This can be accomplished only if testing can be applied in a well-managed, empirical manner across the software development life cycle. This well-written (and almost self-contained) book is divided into four comprehensive parts, plus one appendix and a nearly exhaustive bibliography. The author explains the preliminaries of testing in detail, including some mathematical derivations; describes aspects of it from a conceptual perspective; and supplies the necessary techniques for an analysis of the complex and important nature of testing. The book covers, simply but rigorously, the fundamentals of modeling and the dynamics of testing in object-oriented software. It begins with the basics of simple object-oriented systems and progresses, in a sequence of well-planned and easy-to-read steps, toward the complex ideas involved in testing these systems. After covering the basics of object-oriented technology and testing, Binder considers their theoretical relevance, emphasizing models and their role in testing. Thus, he not only brings the complex dynamics associated with testing to the attention of software engineers, but also presents its relevance to object-oriented software development. The steps needed for building rigorous test patterns for reliable systems are explained clearly. The discussion of the role of decision tables and state machines and their importance for modeling responsibility test cases is interesting and quite useful. Binder emphasizes that testing is an integral part of software engineering, and the use of object-oriented technology does not diminish its importance. Therefore, he outlines and presents a strategy for efficient and effective testing in object-oriented systems. The book's format makes it suitable for readers at all levels, from introductory to advanced. Thus, it should be read by software engineers who want to widen their vision of the static and dynamic richness of the software that they design, build, operate, and control, especially object-oriented software. It should also be of considerable interest to system engineers seeking to widen their perspective on practical applications. I can only commend the author on an excellent addition to the literature on the applications of testing to object-oriented systems. I can fully recommend this book to professionals, faculty and students in the field, and others who are interested in systems and software engineering.

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.

Please enable JavaScript to view thecomments powered by Disqus.

Recommendations