Skip header Section
Skip Bibliometrics Section
Art of Software TestingMarch 1979
- Author:
- Glenford J. Myers
Skip Abstract Section
Abstract
From the Publisher:
Provides a practical rather than theoretical discussion of the purpose and nature of software testing. Emphasizes methodologies for the design of effective test cases. Comprehensively covers psychological and economic principles, managerial aspects of testing, test tools, high-order testing, code inspections, and debugging. Extensive bibliography. Programmers at all levels, and programming students, will find this reference work indispensible.
Cited By
- Wiesmann D (2023). Avoidance of the term agile in software engineering, Journal of Software: Evolution and Process, 35:12, Online publication date: 28-Dec-2023.
Soares A, Vilela J, Peixoto M, Santos D and Silva C Perceptions of Practitioners on Security-Related Software Testing in a Mobile Software Development Company Proceedings of the XIX Brazilian Symposium on Information Systems, (348-355)- Tuli S, Bojarczuk K, Gucevska N, Harman M, Wang X and Wright G Simulation-Driven Automated End-to-End Test and Oracle Inference Proceedings of the 45th International Conference on Software Engineering: Software Engineering in Practice, (122-133)
- Sousa É, Rodrigues A, Teixeira N, Santos I, Francisco M, Andrade R and Vasconcelos D From past to future: An experience using data mining to guide tests. Proceedings of the XXI Brazilian Symposium on Software Quality, (1-10)
- Damasceno H, Bezerra C, Coutinho E and Machado I Analyzing Test Smells Refactoring from a Developers Perspective Proceedings of the XXI Brazilian Symposium on Software Quality, (1-10)
- Whitworth F Execution Path Detection through Dynamic Analysis in Black-Box Testing Environments Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, (1-3)
- Hutchinson B, Rostamzadeh N, Greer C, Heller K and Prabhakaran V Evaluation Gaps in Machine Learning Practice Proceedings of the 2022 ACM Conference on Fairness, Accountability, and Transparency, (1859-1876)
- Gilad A, Miao Z, Roy S and Yang J Understanding Queries by Conditional Instances Proceedings of the 2022 International Conference on Management of Data, (355-368)
- van Veenendaal E Building on Success – Beyond the Obvious Proceedings of the Federated Africa and Middle East Conference on Software Engineering, (91-92)
- Dubslaff C, Weis K, Baier C and Apel S Causality in configurable software systems Proceedings of the 44th International Conference on Software Engineering, (325-337)
- Harman M Scaling genetic improvement and automated program repair Proceedings of the Third International Workshop on Automated Program Repair, (1-7)
- Gong D, Sun B, Yao X and Tian T (2021). Test Data Generation for Path Coverage of MPI Programs Using SAEO, ACM Transactions on Software Engineering and Methodology, 30:2, (1-37), Online publication date: 30-Apr-2021.
- Sun W, Huang R, Cui C, Chen H and Liu W Which type of exclusion region is better for restricted random testing? Proceedings of the 36th Annual ACM Symposium on Applied Computing, (1576-1579)
- Kroll J Outlining Traceability Proceedings of the 2021 ACM Conference on Fairness, Accountability, and Transparency, (758-771)
- Weder B, Barzen J, Leymann F, Salm M and Vietz D The Quantum software lifecycle Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software, (2-9)
- Yan S, Tao G, Liu X, Zhai J, Ma S, Xu L and Zhang X Correlations between deep neural network model coverage criteria and model quality Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (775-787)
- Wang J, Yang Y, Menzies T and Wang Q (2020). iSENSE2.0, ACM Transactions on Software Engineering and Methodology, 29:4, (1-27), Online publication date: 31-Oct-2020.
- von Hippel M, Vick C, Tripakis S and Nita-Rotaru C Automated Attacker Synthesis for Distributed Protocols Computer Safety, Reliability, and Security, (133-149)
- Karpov Y, Karpov L and Smetanin Y (2020). Some Aspects of Associative Memory Construction Based on a Hopfield Network, Programming and Computing Software, 46:5, (305-311), Online publication date: 1-Sep-2020.
- Polyvyanyy A, Solti A, Weidlich M, Ciccio C and Mendling J (2020). Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems, ACM Transactions on Software Engineering and Methodology, 29:3, (1-41), Online publication date: 31-Jul-2020.
- Choma Neto J Automatic support for the identification of infeasible testing requirements Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, (587-591)
- Godefroid P, Lehmann D and Polishchuk M Differential regression testing for REST APIs Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, (312-323)
- Lou Y, Ghanbari A, Li X, Zhang L, Zhang H, Hao D and Zhang L Can automated program repair refine fault localization? a unified debugging approach Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, (75-87)
- Pecorelli F, Catolino G, Ferrucci F, De Lucia A and Palomba F Testing of Mobile Applications in the Wild Proceedings of the 28th International Conference on Program Comprehension, (296-307)
- Anjum M and Ryan C Scalability analysis of grammatical evolution based test data generation Proceedings of the 2020 Genetic and Evolutionary Computation Conference, (1213-1221)
- Wenzl M, Merzdovnik G, Ullrich J and Weippl E (2019). From Hack to Elaborate Technique—A Survey on Binary Rewriting, ACM Computing Surveys, 52:3, (1-37), Online publication date: 31-May-2020.
- Fazzolino R, Vincenzi A, Silva S, de Souza L, Figueiredo R, Ramos C and Ribeiro L Validation process for services produced by digital transformation Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, (354-364)
- Medeiros H, Vilain P, Mylopoulos J and Jacobsen H SolUnit Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, (264-273)
- Gama K, da Costa A, Coelho H, Venieris R and de Lucena C Experimenting with the Peanut Butter and Jelly Sandwich Challenge to Introduce Algorithmic Thinking and Test Case Writing Proceedings of the XXXIII Brazilian Symposium on Software Engineering, (27-36)
- Santos I, Melo S, de Souza P and Souza S Testing Techniques Selection Proceedings of the XXXIII Brazilian Symposium on Software Engineering, (347-356)
- Fazzolino R and Rodrigues G Feature-Trace Proceedings of the XXXIII Brazilian Symposium on Software Engineering, (332-336)
- Gabor T, Sedlmeier A, Kiermeier M, Phan T, Henrich M, Pichlmair M, Kempter B, Klein C, Sauer H, AG R and Wieghardt J Scenario co-evolution for reinforcement learning on a grid world smart factory domain Proceedings of the Genetic and Evolutionary Computation Conference, (898-906)
- Zhu Z and Jiao L Improving search-based software testing by constraint-based genetic operators Proceedings of the Genetic and Evolutionary Computation Conference, (1435-1442)
- Serna M. E, Acevedo M. E and Serna A. A (2019). Integration of properties of virtual reality, artificial neural networks, and artificial intelligence in the automation of software tests, Journal of Software: Evolution and Process, 31:7, Online publication date: 10-Jul-2019.
- Kangas V, Pirttinen N, Nygren H, Leinonen J and Hellas A Does Creating Programming Assignments with Tests Lead to Improved Performance in Writing Unit Tests? Proceedings of the ACM Conference on Global Computing Education, (106-112)
- Mahmoud A, Venkatagiri R, Ahmed K, Misailovic S, Marinov D, Fletcher C and Adve S Minotaur Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, (1087-1103)
- Rodrigues D, Delamaro M, Corrêa C and Nunes F (2018). Using Genetic Algorithms in Test Data Generation, ACM Computing Surveys, 51:2, (1-23), Online publication date: 31-Mar-2019.
- Kazerouni A, Shaffer C, Edwards S and Servant F Assessing Incremental Testing Practices and Their Impact on Project Outcomes Proceedings of the 50th ACM Technical Symposium on Computer Science Education, (407-413)
- Vercammen S, Ghafari M, Demeyer S and Borg M Goal-oriented mutation testing with focal methods Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, (23-30)
- Vercammen S, Demeyer S, Borg M and Eldh S Speeding up mutation testing via the cloud Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, (1-9)
- Arcuri A (2018). An experience report on applying software testing academic results in industry, Empirical Software Engineering, 23:4, (1959-1981), Online publication date: 1-Aug-2018.
- Lemieux C, Padhye R, Sen K and Song D PerfFuzz: automatically generating pathological inputs Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, (254-265)
- Silvis-Cividjian N A safety-aware, systems-based approach to teaching software testing Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, (314-319)
- Castro D and Schots M Analysis of test log information through interactive visualizations Proceedings of the 26th Conference on Program Comprehension, (156-166)
- Blue D, Raz O, Tzoref-Brill R, Wojciak P and Zalmanovici M Proactive and pervasive combinatorial testing Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, (144-152)
- Maqbool B, Rehman F, Abbas M and Rehman S Implementation of Software Testing Practices in Pakistan's Software Industry Proceedings of the 2018 2nd International Conference on Management Engineering, Software Engineering and Service Sciences, (147-152)
- Griscom M MetaAutomation Proceedings of the 24th Conference on Pattern Languages of Programs, (1-34)
- Pandey A and Banerjee S (2017). Test Suite Optimization Using Chaotic Firefly Algorithm in Software Testing, International Journal of Applied Metaheuristic Computing, 8:4, (41-57), Online publication date: 1-Oct-2017.
- Herbert J Patterns to teach software testing to non-developers (in Portuguese) Proceedings of the 11th Latin-American Conference on Pattern Languages of Programming, (1-12)
- Herbert J and Nane S Testing within Constraints Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing, (1-10)
- Marcellino B and Hsiao M Dynamic partitioning strategy to enhance symbolic execution Proceedings of the 2016 Conference on Design, Automation & Test in Europe, (774-779)
- Nautiyal L and Preeti (2016). A Novel Approach of Equivalence Class Partitioning for Numerical Input, ACM SIGSOFT Software Engineering Notes, 41:1, (1-5), Online publication date: 22-Feb-2016.
- Johnson D ITCH Proceedings of the 47th ACM Technical Symposium on Computing Science Education, (223-227)
- Chen T, Lin X, Huang J, Bacchus A and Zhang X (2015). An empirical investigation into path divergences for concolic execution using CREST, Security and Communication Networks, 8:18, (3667-3681), Online publication date: 1-Dec-2015.
- Carino S and Andrews J Dynamically testing GUIs using ant colony optimization Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, (138-148)
- Zhou Y, Li Y, Wang L and Li X nCov Proceedings of the 7th Asia-Pacific Symposium on Internetware, (176-185)
- García B and Dueñas J (2015). Web browsing automation for applications quality control, Journal of Web Engineering, 14:5-6, (474-502), Online publication date: 1-Nov-2015.
- Doležel M and Buchalcevová A (2015). Test Governance Framework for contracted IS development, Information and Software Technology, 65:C, (69-94), Online publication date: 1-Sep-2015.
- Chen Z, Gu Y, Huang Z, Zheng J, Liu C and Liu Z (2015). Model checking aircraft controller software, Software—Practice & Experience, 45:7, (989-1017), Online publication date: 1-Jul-2015.
- Amalfitano D, Amatucci N, Fasolino A, Tramontana P, Kowalczyk E and Memon A Exploiting the saturation effect in automatic random testing of Android applications Proceedings of the Second ACM International Conference on Mobile Software Engineering and Systems, (33-43)
- Sabor K and Thiel S Adaptive random testing by static partitioning Proceedings of the 10th International Workshop on Automation of Software Test, (28-32)
- Sakti A, Pesant G and Guéhéneuc Y (2015). Instance Generator and Problem Representation to Improve Object Oriented Code Coverage, IEEE Transactions on Software Engineering, 41:3, (294-313), Online publication date: 1-Mar-2015.
- Chen Z, Zhang D and Ma Y (2015). Modeling and analyzing the convergence property of the BGP routing protocol in SPIN, Telecommunications Systems, 58:3, (205-217), Online publication date: 1-Mar-2015.
- Nautiyal L, Gupta N and Dimri S (2014). A Novel Approach to Component-Based Software Testing, ACM SIGSOFT Software Engineering Notes, 39:6, (1-4), Online publication date: 9-Dec-2014.
- Williams E Simulation attacks manufacturing challenges Proceedings of the 2014 Winter Simulation Conference, (81-89)
- Abou El Kalam A, Gad El Rab M and Deswarte Y (2014). A model-driven approach for experimental evaluation of intrusion detection systems, Security and Communication Networks, 7:11, (1955-1973), Online publication date: 1-Nov-2014.
- 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)
- Bhasin H and Kaur H (2014). Toward a secured automated test-data generator using S-Box, ACM SIGSOFT Software Engineering Notes, 39:5, (1-5), Online publication date: 17-Sep-2014.
- Lochau M, Peldszus S, Kowal M and Schaefer I Model-Based Testing Advanced Lectures of the 14th International School on Formal Methods for Executable Software Models - Volume 8483, (310-342)
- Miranda B and Bertolino A Social coverage for customized test adequacy and selection criteria Proceedings of the 9th International Workshop on Automation of Software Test, (22-28)
- Gopinath R, Jensen C and Groce A Code coverage for suite evaluation by developers Proceedings of the 36th International Conference on Software Engineering, (72-82)
- Godefroid P Micro execution Proceedings of the 36th International Conference on Software Engineering, (539-549)
- Gao R, Eo J, Wong W, Gao X and Lee S An empirical study of requirements-based test generation on an automobile control system Proceedings of the 29th Annual ACM Symposium on Applied Computing, (1094-1099)
- Broek F, Hond B and Cedillo Torres A Security Testing of GSM Implementations Proceedings of the 6th International Symposium on Engineering Secure Software and Systems - Volume 8364, (179-195)
- Gong D and Zhang Y (2013). Generating test data for both path coverage and fault detection using genetic algorithms, Frontiers of Computer Science: Selected Publications from Chinese Universities, 7:6, (822-837), Online publication date: 1-Dec-2013.
- Martignoni L, Paleari R, Reina A, Roglia G and Bruschi D (2013). A methodology for testing CPU emulators, ACM Transactions on Software Engineering and Methodology, 22:4, (1-26), Online publication date: 1-Oct-2013.
- Beyer D, Löwe S, Novikov E, Stahlbauer A and Wendler P Precision reuse for efficient regression verification Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, (389-399)
- Hassan M and Andrews J Comparing multi-point stride coverage and dataflow coverage Proceedings of the 2013 International Conference on Software Engineering, (172-181)
- Furia C, Meyer B, Oriol M, Tikhomirov A and Wei Y The search for the laws of automatic random testing Proceedings of the 28th Annual ACM Symposium on Applied Computing, (1211-1216)
- DeMott J, Enbody R and Punch W (2013). Systematic bug finding and fault localization enhanced with input data tracking, Computers and Security, 32:C, (130-157), Online publication date: 1-Feb-2013.
- Visser W, Geldenhuys J and Dwyer M Green Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, (1-11)
- Sakti A, Guéhéneuc Y and Pesant G Boosting search based testing by using constraint based testing Proceedings of the 4th international conference on Search Based Software Engineering, (213-227)
- Geldenhuys J, Dwyer M and Visser W Probabilistic symbolic execution Proceedings of the 2012 International Symposium on Software Testing and Analysis, (166-176)
- FAST Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, (33-42)
- Pham R, Holzmann H, Schneider K and Brüggemann C Beyond plain video recording of GUI tests Proceedings of the 7th International Workshop on Automation of Software Test, (103-109)
- Sun B, Shu G, Podgurski A and Robinson B Extending static analysis by mining project-specific rules Proceedings of the 34th International Conference on Software Engineering, (1054-1063)
- Grechanik M, Fu C and Xie Q Automatically finding performance problems with feedback-directed learning software testing Proceedings of the 34th International Conference on Software Engineering, (156-166)
- Shah H, Nersessian N, Harrold M and Newstetter W Studying the influence of culture in global software engineering Proceedings of the 4th international conference on Intercultural Collaboration, (77-86)
- Gong D, Zhang W and Yao X (2011). Evolutionary generation of test data for many paths coverage based on grouping, Journal of Systems and Software, 84:12, (2222-2233), Online publication date: 1-Dec-2011.
- Winbladh K and Ranganathan A Evaluating test selection strategies for end-user specified flow-based applications Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering, (400-403)
- Leungwattanakit W, Artho C, Hagiya M, Tanabe Y and Yamamoto M Model checking distributed systems by combining caching and process checkpointing Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering, (103-112)
- Röglinger S (2011). A methodology for testing intersection related Vehicle-2-X applications, Computer Networks: The International Journal of Computer and Telecommunications Networking, 55:14, (3154-3168), Online publication date: 1-Oct-2011.
- Fisher M, Wloka J, Tip F, Ryder B and Luchansky A An evaluation of change-based coverage criteria Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools, (21-28)
- Gong D and Zhang Y Generating test data for both paths coverage and faults detection using genetic algorithms Proceedings of the 7th international conference on Advanced Intelligent Computing Theories and Applications: with aspects of artificial intelligence, (664-671)
- Arcuri A and Briand L Adaptive random testing Proceedings of the 2011 International Symposium on Software Testing and Analysis, (265-275)
- Arcuri A (2011). Evolutionary repair of faulty software, Applied Soft Computing, 11:4, (3494-3514), Online publication date: 1-Jun-2011.
- Hewett R (2011). Mining software defect data to support software testing management, Applied Intelligence, 34:2, (245-257), Online publication date: 1-Apr-2011.
- Sharma R, Gligoric M, Arcuri A, Fraser G and Marinov D Testing container classes Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software, (262-277)
- Ramadoss B, Prema P and Balasundaram S Improving test coverage using merged classification tree Proceedings of the International Conference & Workshop on Emerging Trends in Technology, (752-757)
- Arcuri A, Iqbal M and Briand L Black-box system testing of real-time embedded systems using random and search-based testing Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems, (95-110)
- Charrada E Updating requirements from tests during maintenance and evolution Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, (337-340)
- Ben Charrada E and Glinz M An automated hint generation approach for supporting the evolution of requirements specifications Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE), (58-62)
- Bousquet L A new approach for software testability Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques, (207-210)
- Suman P, Muske T, Bokil P, Shrotri U and Venkatesh R Masking boundary value coverage Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques, (8-22)
- Janhunen T, Niemelä I, Oetsch J, Pührer J and Tompits H On Testing Answer-Set Programs Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence, (951-956)
- Arcuri A, Iqbal M and Briand L Formal analysis of the effectiveness and predictability of random testing Proceedings of the 19th international symposium on Software testing and analysis, (219-230)
- Bousquet L and Lévy M Proof process evaluation with mutation analysis Proceedings of the 4th international conference on Tests and proofs, (55-60)
- Sancar Y, Brüseke F, Sauer S, Engels G and Voigt H Towards economical software release recommendations Proceedings of the 1st Workshop on Testing Object-Oriented Systems, (1-8)
- Neukirchen H Taming the raven --- testing the random access, visualization and exploration network RAVEN Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume 2, (196-205)
- Miller T, Padgham L and Thangarajah J Test coverage criteria for agent interaction testing Proceedings of the 11th international conference on Agent-oriented software engineering, (91-105)
- Miller J and Huynh T (2010). Practical elimination of external interaction vulnerabilities in web applications, Journal of Web Engineering, 9:1, (1-24), Online publication date: 1-Mar-2010.
- Mueller C, Tamir D, Komogortsev O and Feldman L Using designer's effort for user interface evaluation Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics, (480-485)
- Mishra D and Mishra A (2009). A discussion on design factors of client-server software testability, ACM SIGSOFT Software Engineering Notes, 34:5, (1-5), Online publication date: 2-Oct-2009.
- 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)
- Martignoni L, Paleari R, Roglia G and Bruschi D Testing CPU emulators Proceedings of the eighteenth international symposium on Software testing and analysis, (261-272)
- Krichen M and Tripakis S (2009). Conformance testing for real-time systems, Formal Methods in System Design, 34:3, (238-304), Online publication date: 1-Jun-2009.
- Ghani K, Clark J and Zhan Y Comparing algorithms for search-based test data generation of matlab® simulink® models Proceedings of the Eleventh conference on Congress on Evolutionary Computation, (2940-2947)
- Shah H and Harrold M Exception handling negligence due to intra-individual goal conflicts Proceedings of the 2009 ICSE Workshop on Cooperative and Human Aspects on Software Engineering, (80-83)
- Burnim J, Juvekar S and Sen K WISE Proceedings of the 31st International Conference on Software Engineering, (463-473)
- Hamlet D (2009). Tools and experiments supporting a testing-based theory of component composition, ACM Transactions on Software Engineering and Methodology, 18:3, (1-41), Online publication date: 1-May-2009.
- Srivastava P, Patel P and Chatrola S (2009). Cause effect graph to decision table generation, ACM SIGSOFT Software Engineering Notes, 34:2, (1-4), Online publication date: 28-Feb-2009.
- Kirner R (2009). Towards preserving model coverage and structural code coverage, EURASIP Journal on Embedded Systems, 2009, (1-16), Online publication date: 1-Jan-2009.
- Arantes A, Vijaykumar N, de Santiago Junior V and Guimarães D WEB-PerformCharts Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services, (374-381)
- Godefroid P, Levin M and Molnar D Active property checking Proceedings of the 8th ACM international conference on Embedded software, (207-216)
- Arcuri A and Yao X (2008). Search based software testing of object-oriented containers, Information Sciences: an International Journal, 178:15, (3075-3095), Online publication date: 1-Aug-2008.
- Bombieri N, Fummi F and Pravadelli G (2008). Reuse and optimization of testbenches and properties in a TLM-to-RTL design flow, ACM Transactions on Design Automation of Electronic Systems, 13:3, (1-22), Online publication date: 1-Jul-2008.
- Cohen K, Baumgartner W and Hunter L Software testing and the naturally occurring data assumption in natural language processing Software Engineering, Testing, and Quality Assurance for Natural Language Processing, (23-30)
- Ciupa I, Leitner A, Oriol M and Meyer B ARTOO Proceedings of the 30th international conference on Software engineering, (71-80)
- Martin D, Rooksby J, Rouncefield M and Sommerville I Cooperative work in software testing Proceedings of the 2008 international workshop on Cooperative and human aspects of software engineering, (93-96)
- Dias Neto A and Travassos G Supporting the selection of model-based testing approaches for software projects Proceedings of the 3rd international workshop on Automation of software test, (21-24)
- Arcuri A On the automation of fixing software bugs Companion of the 30th international conference on Software engineering, (1003-1006)
- Tamir D, Komogortsev O and Mueller C An effort and time based measure of usability Proceedings of the 6th international workshop on Software quality, (47-52)
- Bueno P, Wong W and Jino M Automatic test data generation using particle systems Proceedings of the 2008 ACM symposium on Applied computing, (809-814)
- Bowring J A new paradigm for programming competitions Proceedings of the 39th SIGCSE technical symposium on Computer science education, (87-91)
- Bowring J (2008). A new paradigm for programming competitions, ACM SIGCSE Bulletin, 40:1, (87-91), Online publication date: 29-Feb-2008.
- Liu H and Kuan Tan H (2008). Testing input validation in Web applications through automated model recovery, Journal of Systems and Software, 81:2, (222-233), Online publication date: 1-Feb-2008.
- Vilkomir S and Bowen J From MC/DC to RC/DC Formal methods and testing, (240-270)
- Bogdanov K Testing from X-machine specifications Formal methods and testing, (184-208)
- Ammann P, Offutt J and Xu W Coverage criteria for state based specifications Formal methods and testing, (118-156)
- Hessel A, Larsen K, Mikucionis M, Nielsen B, Pettersson P and Skou A Testing real-time systems using UPPAAL Formal methods and testing, (77-117)
- Bueno P, Wong W and Jino M Improving random test sets using the diversity oriented test data generation Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), (10-17)
- Arcuri A and Yao X Coevolving programs and unit tests from their specification Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, (397-400)
- 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.
- Ibrahim R and Yong T Back to basic Proceedings of the IASTED Asian Conference on Modelling and Simulation, (224-229)
- Bond M and McKinley K (2007). Probabilistic calling context, ACM SIGPLAN Notices, 42:10, (97-112), Online publication date: 21-Oct-2007.
- Bond M and McKinley K Probabilistic calling context Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications, (97-112)
- Beyer D, Henzinger T, Jhala R and Majumdar R (2007). The software model checker Blast, International Journal on Software Tools for Technology Transfer (STTT), 9:5-6, (505-525), Online publication date: 1-Oct-2007.
- Kirner R SCCP/x Proceedings of the 2007 international conference on Compilers, architecture, and synthesis for embedded systems, (38-42)
- Marchetti E and Bertolino A Profiling and testing within domains to facilitate document exchangeability Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting, (34-40)
- Stuermer I, Conrad M, Doerr H and Pepper P (2007). Systematic Testing of Model-Based Code Generators, IEEE Transactions on Software Engineering, 33:9, (622-634), Online publication date: 1-Sep-2007.
- 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)
- Aichernig B, Weiglhofer M, Peischl B and Wotawa F Test purpose generation in an industrial application Proceedings of the 3rd international workshop on Advances in model-based testing, (115-125)
- Bouquet F, Grandpierre C, Legeard B, Peureux F, Vacelet N and Utting M A subset of precise UML for model-based testing Proceedings of the 3rd international workshop on Advances in model-based testing, (95-104)
- Chang R, Podgurski A and Yang J Finding what's not there Proceedings of the 2007 international symposium on Software testing and analysis, (163-173)
- Martin D, Rooksby J, Rouncefield M and Sommerville I 'Good' Organisational Reasons for 'Bad' Software Testing Proceedings of the 29th international conference on Software Engineering, (602-611)
- Bertolino A, Gao J, Marchetti E and Polini A Automatic Test Data Generation for XML Schema-based Partition Testing Proceedings of the Second International Workshop on Automation of Software Test
- Parveen T, Tilley S and Gonzalez G A case study in test management Proceedings of the 45th annual southeast regional conference, (82-87)
- Kuo F, Chen T, Liu H and Chan W Enhancing adaptive random testing in high dimensional input domains Proceedings of the 2007 ACM symposium on Applied computing, (1467-1472)
- Lamari M Towards an automated test generation for the verification of model transformations Proceedings of the 2007 ACM symposium on Applied computing, (998-1005)
- Godefroid P Compositional dynamic test generation Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (47-54)
- Godefroid P (2007). Compositional dynamic test generation, ACM SIGPLAN Notices, 42:1, (47-54), Online publication date: 17-Jan-2007.
- Miller B, Cooksey G and Moore F (2007). An empirical study of the robustness of MacOS applications using random testing, ACM SIGOPS Operating Systems Review, 41:1, (78-86), Online publication date: 1-Jan-2007.
- Artho C, Biere A and Honiden S Exhaustive testing of exception handlers with enforcer Proceedings of the 5th international conference on Formal methods for components and objects, (26-46)
- Di Fatta G, Leue S and Stegantova E Discriminative pattern mining in software fault detection Proceedings of the 3rd international workshop on Software quality assurance, (62-69)
- Wagner S and Meisinger M Integrating a model of analytical quality assurance into the V-Modell XT Proceedings of the 3rd international workshop on Software quality assurance, (38-45)
- Mayer J, Chen T and Huang D Adaptive random testing through iterative partitioning revisited Proceedings of the 3rd international workshop on Software quality assurance, (22-29)
- Puhakka T and Palola M Towards automating testing of communicational B3G applications Proceedings of the 3rd international conference on Mobile technology, applications & systems, (27-es)
- Briones L, Brinksma E and Stoelinga M A semantic framework for test coverage Proceedings of the 4th international conference on Automated Technology for Verification and Analysis, (399-414)
- Chakrabarti A and Godefroid P Software partitioning for effective automated unit testing Proceedings of the 6th ACM & IEEE International conference on Embedded software, (262-271)
- Wagner S A literature survey of the quality economics of defect-detection techniques Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering, (194-203)
- Mayer J and Schneckenburger C An empirical analysis and comparison of random testing techniques Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering, (105-114)
- Singh R, Chandra P and Singh Y (2006). An evaluation of Boolean expression testing techniques, ACM SIGSOFT Software Engineering Notes, 31:5, (1-6), Online publication date: 1-Sep-2006.
- Krug M, Moraes M and Lubaszewski M Using a software testing technique to identify registers for partial scan implementation Proceedings of the 19th annual symposium on Integrated circuits and systems design, (208-213)
- Boshernitsan M, Doong R and Savoia A From daikon to agitator Proceedings of the 2006 international symposium on Software testing and analysis, (169-180)
- Wagner S A model and sensitivity analysis of the quality economics of defect-detection techniques Proceedings of the 2006 international symposium on Software testing and analysis, (73-84)
- Mayer J Adaptive random testing with randomly translated failure region Proceedings of the 1st international workshop on Random testing, (70-77)
- Chen T and Kuo F Is adaptive random testing really better than random testing Proceedings of the 1st international workshop on Random testing, (64-69)
- Ciupa I, Leitner A, Oriol M and Meyer B Object distance and its application to adaptive random testing of object-oriented programs Proceedings of the 1st international workshop on Random testing, (55-63)
- Miller B, Cooksey G and Moore F An empirical study of the robustness of MacOS applications using random testing Proceedings of the 1st international workshop on Random testing, (46-54)
- Gotlieb A and Petit M Path-oriented random testing Proceedings of the 1st international workshop on Random testing, (28-35)
- 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)
- Kehris E Testing discrete-event simulation programs using black-box techniques Proceedings of the 10th WSEAS international conference on Systems, (50-55)
- Bueno P, Crespo A and Jino M Analysis of an artifact oriented test process model and of testing aspects of CMMI Proceedings of the 7th international conference on Product-Focused Software Process Improvement, (263-277)
- Yang Q, Li J and Weiss D A survey of coverage based testing tools Proceedings of the 2006 international workshop on Automation of software test, (99-103)
- 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)
- Bombieri N, Fummi F and Pravadelli G Hardware design and simulation for verification Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems, (1-29)
- Wagner S Modelling the quality economics of defect-detection techniques Proceedings of the 2006 international workshop on Software quality, (69-74)
- Sen K and Agha G Automated systematic testing of open distributed programs Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering, (339-356)
- Bombieri N, Fummi F and Pravadelli G On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL Proceedings of the conference on Design, automation and test in Europe: Proceedings, (1007-1012)
- Buchs D, Pedro L and Lúcio L Formal test generation from UML models Dependable Systems, (145-171)
- 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.
- Godefroid P and Klarlund N Software model checking Proceedings of the 5th international conference on Integrated Formal Methods, (20-32)
- Taipale O, Smolander K and Kälviäinen H Finding and ranking research directions for software testing Proceedings of the 12th European conference on Software Process Improvement, (39-48)
- Mayer J Lattice-based adaptive random testing Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, (333-336)
- Mayer J Adaptive random testing by bisection with restriction Proceedings of the 7th international conference on Formal Methods and Software Engineering, (251-263)
- 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)
- Kessis M, Ledru Y and Vandome G Experiences in coverage testing of a Java middleware Proceedings of the 5th international workshop on Software engineering and middleware, (39-45)
- Lakehal A and Parissis I Structural test coverage criteria for lustre programs Proceedings of the 10th international workshop on Formal methods for industrial critical systems, (35-43)
- Bhansali P (2005). Universal software safety standard, ACM SIGSOFT Software Engineering Notes, 30:5, (1-4), Online publication date: 1-Sep-2005.
- Mayer J Adaptive random testing by bisection and localization Proceedings of the 5th international conference on Formal Approaches to Software Testing, (72-86)
- Wagner S and Seifert T (2005). Software quality economics for defect-detection techniques using failure prediction, ACM SIGSOFT Software Engineering Notes, 30:4, (1-6), Online publication date: 1-Jul-2005.
- Chen T, Kuo F and Zhou Z (2005). An effective testing method for end-user programmers, ACM SIGSOFT Software Engineering Notes, 30:4, (1-5), Online publication date: 1-Jul-2005.
- Lau M and Yu Y (2005). An extended fault class hierarchy for specification-based testing, ACM Transactions on Software Engineering and Methodology, 14:3, (247-276), Online publication date: 1-Jul-2005.
- 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)
- Godefroid P, Klarlund N and Sen K DART Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, (213-223)
- Godefroid P, Klarlund N and Sen K (2005). DART, ACM SIGPLAN Notices, 40:6, (213-223), Online publication date: 12-Jun-2005.
- Chen T, Kuo F and Zhou Z An effective testing method for end-user programmers Proceedings of the first workshop on End-user software engineering, (1-5)
- Wagner S and Seifert T Software quality economics for defect-detection techniques using failure prediction Proceedings of the third workshop on Software quality, (1-6)
- Pretschner A Model-based testing Proceedings of the 27th international conference on Software engineering, (722-723)
- Berner S, Weber R and Keller R Observations and lessons learned from automated testing Proceedings of the 27th international conference on Software engineering, (571-579)
- Choi S, Kang Y and Lee G A security evaluation and testing methodology for open source software embedded information security system Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part II, (215-224)
- Wagner S and Jürjens J Model-Based identification of fault-prone components Proceedings of the 5th European conference on Dependable Computing, (435-452)
- De Nicola G, di Tommaso P, Rosaria E, Francesco F, Pietro M and Antonio O A grey-box approach to the functional testing of complex automatic train protection systems Proceedings of the 5th European conference on Dependable Computing, (305-317)
- 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.
- Wagner S, Jürjens J, Koller C and Trischberger P Comparing bug finding tools with reviews and tests Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems, (40-55)
- Kulvatunyou B, Ivezic N and Jones A Content-Level conformance testing Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems, (349-364)
- Fummi F, Marconcini C and Pravadelli G (2005). Logic-level mapping of high-level faults, Integration, the VLSI Journal, 38:3, (467-490), Online publication date: 1-Jan-2005.
- Armour P (2005). The unconscious art of software testing, Communications of the ACM, 48:1, (15-18), Online publication date: 1-Jan-2005.
- Sarala S and Valli S A tool to automatically detect defects in c++ programs Proceedings of the 7th international conference on Intelligent Information Technology, (302-314)
- Atkinson C and Hummel O Towards a methodology for component-driven design Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques, (23-33)
- Röhl M and Uhrmacher A Controlled experimentation with agents Proceedings of the 5th international conference on Engineering Societies in the Agents World, (292-304)
- Chen Y, Probert R and Robeson K Effective test metrics for test strategy evolution Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research, (111-123)
- Armour P (2004). Not-defect, Communications of the ACM, 47:10, (15-18), Online publication date: 1-Oct-2004.
- Chan E, Poon P and Yu Y On the Testing of Particular Input Conditions Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01, (318-325)
- Maxville V, Armarego J and Lam C Intelligent Component Selection Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01, (244-249)
- López N, Núñez M and Rodríguez I Testing of symbolic-probabilistic systems Proceedings of the 4th international conference on Formal Approaches to Software Testing, (49-63)
- Ramler R Decision Support for Test Management in Iterative and Evolutionary Development Proceedings of the 19th IEEE international conference on Automated software engineering, (406-409)
- Chen T, Merkel R, Eddy G and Wong P Adaptive Random Testing Through Dynamic Partitioning Proceedings of the Quality Software, Fourth International Conference, (79-86)
- Chan E and Yu Y Evaluating Several Path-Based Partial Dynamic Analysis Methods for Selecting Black-Box Generated Test Cases Proceedings of the Quality Software, Fourth International Conference, (70-78)
- Yu Y and Lau M Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions Proceedings of the Quality Software, Fourth International Conference, (14-21)
- Soares I and Vergilio S (2004). Mutation Analysis and Constraint-Based Criteria, Journal of Electronic Testing: Theory and Applications, 20:4, (439-445), Online publication date: 1-Aug-2004.
- Christodorescu M and Jha S Testing malware detectors Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, (34-44)
- 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)
- Christodorescu M and Jha S (2004). Testing malware detectors, ACM SIGSOFT Software Engineering Notes, 29:4, (34-44), Online publication date: 1-Jul-2004.
- 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.
- Beyer D, Chlipala A, Henzinger T, Jhala R and Majumdar R Generating Tests from Counterexamples Proceedings of the 26th International Conference on Software Engineering, (326-335)
- Fummi F and Pravadelli G Logic-level analysis of high-level faults Proceedings of the 14th ACM Great Lakes symposium on VLSI, (100-103)
- Chiang C Teaching a formal method in a software engineering course Proceedings of the 2nd annual conference on Mid-south college computing, (39-52)
- Juristo N, Moreno A and Vegas S (2004). Reviewing 25 Years of Testing Technique Experiments, Empirical Software Engineering, 9:1-2, (7-44), Online publication date: 1-Mar-2004.
- Himmelspach J, Röhl M and Uhrmacher A Next generation modeling III - agents Proceedings of the 35th conference on Winter simulation: driving innovation, (799-807)
- Hoffman D, Prabhakar D and Strooper P Testing iptables Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research, (80-91)
- Peled D Model checking and testing combined Proceedings of the 30th international conference on Automata, languages and programming, (47-63)
- Ramler R, Czech G and Schlosser D Unit testing beyond a bar in green and red Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering, (319-321)
- Leung K, Wong W and Ng J (2003). Generating test cases from class vectors, Journal of Systems and Software, 66:1, (35-46), Online publication date: 15-Apr-2003.
- Eberst C and Herbig T On the application of the concept of dependability for design and analysis of vision systems Proceedings of the 3rd international conference on Computer vision systems, (290-303)
- Yu Y, Poon P, Ng S and Chen T On the use of the classification-tree method by beginning software testers Proceedings of the 2003 ACM symposium on Applied computing, (1123-1127)
- Bertolino A Software testing research and practice Proceedings of the abstract state machines 10th international conference on Advances in theory and practice, (1-21)
- Chen Y, Probert R and Sims D Specification-based regression test selection with risk analysis Proceedings of the 2002 conference of the Centre for Advanced Studies on Collaborative research
- Eloff J Software restructuring Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, (83-92)
- 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.
- Schieferdecker I and Grabowski J The graphical format of TTCN-3 in the context of MSC and UML Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC, (233-252)
- Matsumura T, Monden A and Matsumoto K A method for detecting faulty code violating implicit coding rules Proceedings of the International Workshop on Principles of Software Evolution, (15-21)
- Kusumoto S, Nishimatsu A, Nishie K and Inoue K (2002). Experimental Evaluation of Program Slicing for Fault Localization, Empirical Software Engineering, 7:1, (49-76), Online publication date: 1-Mar-2002.
- Ferrandi F, Fummi F and Sciuto D (2002). Test Generation and Testability Alternatives Exploration of Critical Algorithms for Embedded Applications, IEEE Transactions on Computers, 51:2, (200-215), Online publication date: 1-Feb-2002.
- Farchi E, Hartman A and Pinter S (2002). Using a model-based test generator to test for standard conformance, IBM Systems Journal, 41:1, (89-110), Online publication date: 1-Jan-2002.
- Hailpern B and Santhanam P (2002). Software debugging, testing, and verification, IBM Systems Journal, 41:1, (4-12), Online publication date: 1-Jan-2002.
- Peled D, Vardi M and Yannakakis M (2001). Black box checking, Journal of Automata, Languages and Combinatorics, 7:2, (225-246), Online publication date: 1-Nov-2001.
- Ntafos S (2001). On Comparisons of Random, Partition, and Proportional Partition Testing, IEEE Transactions on Software Engineering, 27:10, (949-960), Online publication date: 1-Oct-2001.
- 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)
- Kobayashi N, Tsuchiya T and Kikuno T Applicability of Non-Specification-Based Approaches to Logic Testing for Software Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS), (337-346)
- Fin A, Fummi F, Martignano M and Signoretto M SystemC Proceedings of the ninth international symposium on Hardware/software codesign, (17-22)
- Ferrandi F, Ferrara G, Sciuto D, Fin A and Fummi F Functional test generation for behaviorally sequential models Proceedings of the conference on Design, automation and test in Europe, (403-410)
- Jones E (2001). Integrating testing into the curriculum — arsenic in small doses, ACM SIGCSE Bulletin, 33:1, (337-341), Online publication date: 1-Mar-2001.
- Jones E Integrating testing into the curriculum — arsenic in small doses Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education, (337-341)
- Cockram T (2001). Gaining Confidence in Software Inspection Using a Bayesian Belief Model, Software Quality Journal, 9:1, (31-42), Online publication date: 1-Jan-2001.
- Jones E Software testing in the computer science curriculum -- a holistic approach Proceedings of the Australasian conference on Computing education, (153-157)
- Paradkar A SALT - An Integrated Environment to Automate Generation of Function Tests for APIs Proceedings of the 11th International Symposium on Software Reliability Engineering
- Schroeder P and Korel B (2000). Black-box test reduction using input-output analysis, ACM SIGSOFT Software Engineering Notes, 25:5, (173-177), Online publication date: 1-Sep-2000.
- Lev-Ami T, Reps T, Sagiv M and Wilhelm R (2000). Putting static analysis to work for verification, ACM SIGSOFT Software Engineering Notes, 25:5, (26-38), Online publication date: 1-Sep-2000.
- Maxion R and Olszewski R (2000). Eliminating Exception Handling Errors with Dependability Cases, IEEE Transactions on Software Engineering, 26:9, (888-906), Online publication date: 1-Sep-2000.
- Schroeder P and Korel B Black-box test reduction using input-output analysis Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, (173-177)
- Lev-Ami T, Reps T, Sagiv M and Wilhelm R Putting static analysis to work for verification Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, (26-38)
- Fin A and Fummi F A VHDL error simulator for functional test generation Proceedings of the conference on Design, automation and test in Europe, (390-395)
- Katayama T, Itoh E, Ushijima K and Furukawa Z Test-Case Generation for Concurrent Programs with the Testing Criteria Using Interaction Sequences Proceedings of the Sixth Asia Pacific Software Engineering Conference
- Abdel-Hamid T, Sengupta K and Swett C (1999). The impact of goals on software project management, MIS Quarterly, 23:4, (531-555), Online publication date: 1-Dec-1999.
- De Souza S, Maldonado J, Fabbri S and De Souza W (1999). Mutation Testing Applied to Estelle Specifications, Software Quality Journal, 8:4, (285-301), Online publication date: 1-Dec-1999.
- Martins E, Sabião S and Ambrosio A (1999). ConData, Software Quality Journal, 8:4, (303-320), Online publication date: 1-Dec-1999.
- Ghosh A and Schmid M An Approach to Testing COTS Software for Robustness to Operating System Exceptions and Errors Proceedings of the 10th International Symposium on Software Reliability Engineering
- Chang J and Richardson D (1999). Structural specification-based testing, ACM SIGSOFT Software Engineering Notes, 24:6, (285-302), Online publication date: 1-Nov-1999.
- Low C, Chen T and Rónnquist R (1999). Automated Test Case Generation for BDI Agents, Autonomous Agents and Multi-Agent Systems, 2:4, (311-332), Online publication date: 1-Nov-1999.
- Chang J and Richardson D Structural specification-based testing Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, (285-302)
- Stoica S System Design Verification Tests - An Overview Proceedings of the 1999 IEEE International Test Conference
- Agrawal H Efficient coverage testing using global dominator graphs Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (11-20)
- Agrawal H (1999). Efficient coverage testing using global dominator graphs, ACM SIGSOFT Software Engineering Notes, 24:5, (11-20), Online publication date: 1-Sep-1999.
- Gutjahr W (1999). Partition Testing vs. Random Testing, IEEE Transactions on Software Engineering, 25:5, (661-674), Online publication date: 1-Sep-1999.
- Lin K, McEwan W and Liechti J (1999). A software quality strategy for the development of automatic control systems, International Journal of Computer Applications in Technology, 12:2-5, (131-140), Online publication date: 1-Jul-1999.
- Keenan S, Hartson H, Kafura D and Schulman R (1999). The Usability Problem Taxonomy, Empirical Software Engineering, 4:1, (71-104), Online publication date: 1-Mar-1999.
- Al-Amayreh A and Zin A Probe Proceedings of the 20th international conference on Information Systems, (400-404)
- Brykczynski B (1999). A survey of software inspection checklists, ACM SIGSOFT Software Engineering Notes, 24:1, (82), Online publication date: 1-Jan-1999.
- Babbitt T, Galletta D and Lopes A Influencing the success of spreadsheet development by novice users Proceedings of the international conference on Information systems, (319-324)
- Yamaura T (1998). How to Design Practical Test Cases, IEEE Software, 15:6, (30-36), Online publication date: 1-Nov-1998.
- Wegener J and Grochtmann M (1998). Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing, Real-Time Systems, 15:3, (275-298), Online publication date: 1-Nov-1998.
- Hain T and Gulve S Interactive, visual testing strategy for computational geometry problems Proceedings of the 36th annual Southeast regional conference, (310-313)
- Ntafos S (1998). On random and partition testing, ACM SIGSOFT Software Engineering Notes, 23:2, (42-48), Online publication date: 1-Mar-1998.
- Ntafos S On random and partition testing Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, (42-48)
- Jonsson E An integrated framework for security and dependability Proceedings of the 1998 workshop on New security paradigms, (22-29)
- Zhu H, Hall P and May J (1997). Software unit test coverage and adequacy, ACM Computing Surveys, 29:4, (366-427), Online publication date: 1-Dec-1997.
- Tsai B, Stobart S, Parrington N and Thompson B (1997). Iterative design and testing within the software development life cycle, Software Quality Journal, 6:4, (295-310), Online publication date: 1-Dec-1997.
- Howden W Confidence-Based Reliability And Statistical Coverage Estimation Proceedings of the Eighth International Symposium on Software Reliability Engineering
- Yin H, Lebne-Dengel Z and Malaiya Y Automatic Test Generation using Checkpoint Encoding and Antirandom Testing Proceedings of the Eighth International Symposium on Software Reliability Engineering
- Puketza N, Chung M, Olsson R and Mukherjee B (1997). A Software Platform for Testing Intrusion Detection Systems, IEEE Software, 14:5, (43-51), Online publication date: 1-Sep-1997.
- Eickelmann N and Richardson D A defect prevention approach to architecture-based testing Proceedings of the 21st International Computer Software and Applications Conference
- Tai K and Daniels F Test Order for Inter-Class Integration Testing of Object-Oriented Software Proceedings of the 21st International Computer Software and Applications Conference, (602-607)
- Gallagher M and Narasimhan V (1997). ADTEST, IEEE Transactions on Software Engineering, 23:8, (473-484), Online publication date: 1-Aug-1997.
- Carrington D Teaching software testing Proceedings of the 2nd Australasian conference on Computer science education, (59-64)
- Kim E, Kusumoto S, Tsuchiya T and Kikuno T An approach to safety verification of object-oriented design specification for an elevator control system Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
- Chu H, Dobson J and Liu I (1997). FAST, Software Quality Journal, 6:1, (13-36), Online publication date: 1-Jan-1997.
- Howe A, Mayrhauser A and Mraz R (1997). Test Case Generation as an AI Planning Problem, Automated Software Engineering, 4:1, (77-106), Online publication date: 1-Jan-1997.
- Meyer C and Reznick M Design and test strategies for a safety-critical embedded executive Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada, (29-37)
- Eickelmann N and Richardson D What makes one software architecture more testable than another? Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops, (65-67)
- Puketza N, Zhang K, Chung M, Mukherjee B and Olsson R (1996). A Methodology for Testing Intrusion Detection Systems, IEEE Transactions on Software Engineering, 22:10, (719-729), Online publication date: 1-Oct-1996.
- Denney R (1996). A comparison of the model-based & algebraic styles of specification as a basis for test specification, ACM SIGSOFT Software Engineering Notes, 21:5, (60-64), Online publication date: 1-Sep-1996.
- Tai K (1996). Theory of Fault-Based Predicate Testing for Computer Programs, IEEE Transactions on Software Engineering, 22:8, (552-562), Online publication date: 1-Aug-1996.
- Ramachandran M (1996). Requirements-driven software test, ACM SIGSOFT Software Engineering Notes, 21:4, (66-70), Online publication date: 1-Jul-1996.
- Finke K, Jarke M, Soltysiak R and Szczurko P (1996). Testing Expert Systems in Process Control, IEEE Transactions on Knowledge and Data Engineering, 8:3, (403-415), Online publication date: 1-Jun-1996.
- Eickelmann N and Richardson D An evaluation of software test environment architectures Proceedings of the 18th international conference on Software engineering, (353-364)
- DeMillo R, Pan H and Spafford E Critical slicing for software fault localization Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis, (121-134)
- Chang J, Richardson D and Sankar S Structural specification-based testing with ADL Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis, (62-70)
- DeMillo R, Pan H and Spafford E (1996). Critical slicing for software fault localization, ACM SIGSOFT Software Engineering Notes, 21:3, (121-134), Online publication date: 1-May-1996.
- Chang J, Richardson D and Sankar S (1996). Structural specification-based testing with ADL, ACM SIGSOFT Software Engineering Notes, 21:3, (62-70), Online publication date: 1-May-1996.
- Ferguson R and Korel B (1996). Generating test data for distributed software using the chaining approach, Information and Software Technology, 38:5, (343-353), Online publication date: 1-May-1996.
- Kasik D and George H Toward automatic generation of novice user test scripts Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, (244-251)
- Zhu H (1996). A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria, IEEE Transactions on Software Engineering, 22:4, (248-255), Online publication date: 1-Apr-1996.
- Chen S and Mills S (1996). A Binary Markov Process Model for Random Testing, IEEE Transactions on Software Engineering, 22:3, (218-223), Online publication date: 1-Mar-1996.
- Chen T and Yu Y (1996). On the Expected Number of Failures Detected by Subdomain Testing and Random Testing, IEEE Transactions on Software Engineering, 22:2, (109-119), Online publication date: 1-Feb-1996.
- Nursimulu K and Probert R Cause-effect graphing analysis and validation of requirements Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
- Tsoukarellas M, Gerogiannis V and Economides K (1995). Systematically Testing a Real-Time Operating System, IEEE Micro, 15:5, (50-60), Online publication date: 1-Oct-1995.
- DeMillo R, Mathur A and Wong W (1995). Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods, IEEE Transactions on Software Engineering, 21:10, (858-861), Online publication date: 1-Oct-1995.
- May J and Lunn A (1995). A Model of Code Sharing for Estimating Software Failure on Demand Probabilities, IEEE Transactions on Software Engineering, 21:9, (747-753), Online publication date: 1-Sep-1995.
- Frezza S, Levitan S and Chrysanthis P Requirements-based design evaluation Proceedings of the 32nd annual ACM/IEEE Design Automation Conference, (76-81)
- Hamlet D (1994). Foundations of software testing, ACM SIGSOFT Software Engineering Notes, 19:5, (128-139), Online publication date: 1-Dec-1994.
- Hamlet D Foundations of software testing Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, (128-139)
- Kirani S, Zualkernan I and Tsai W (1994). Evaluation of expert system testing methods, Communications of the ACM, 37:11, (71-81), Online publication date: 1-Nov-1994.
- Paradkar A On the experience of using cause-effect graphs for software specification and test generation Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
- Lu P Test case generation for specification-based software testing Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
- Whittaker J and Thomason M (1994). A Markov Chain Model for Statistical Software Testing, IEEE Transactions on Software Engineering, 20:10, (812-824), Online publication date: 1-Oct-1994.
- Guimarães J (1994). Testing student-made compilers, ACM SIGCSE Bulletin, 26:3, (37-44), Online publication date: 1-Sep-1994.
- Poston R (1994). Automated testing from object models, Communications of the ACM, 37:9, (48-58), Online publication date: 1-Sep-1994.
- Chen Y, Rosenblum D and Vo K TestTube Proceedings of the 16th international conference on Software engineering, (211-220)
- Agrawal H Dominators, super blocks, and program coverage Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (25-34)
- Guimarães J (1993). Clever programming languages exercises, ACM SIGCSE Bulletin, 25:4, (61-64), Online publication date: 1-Dec-1993.
- Chaar J, Halliday M, Bhandari I and Chillarege R (1993). In-Process Evaluation for Software Inspection and Test, IEEE Transactions on Software Engineering, 19:11, (1055-1070), Online publication date: 1-Nov-1993.
- Tai K, Paradkar A, Su H and Vouk M Fault-based test generation for cause-effect graphs Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1, (495-504)
- Thévenod-Fosse P and Waeselynck H STATEMATE applied to statistical software testing Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis, (99-109)
- Hamlet D and Voas J Faults on its sleeve Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis, (89-98)
- Nonnenmann U and Eddy J (1993). Software Testing with Kitss, IEEE Expert: Intelligent Systems and Their Applications, 8:4, (25-30), Online publication date: 1-Aug-1993.
- Thévenod-Fosse P and Waeselynck H (1993). STATEMATE applied to statistical software testing, ACM SIGSOFT Software Engineering Notes, 18:3, (99-109), Online publication date: 1-Jul-1993.
- Hamlet D and Voas J (1993). Faults on its sleeve, ACM SIGSOFT Software Engineering Notes, 18:3, (89-98), Online publication date: 1-Jul-1993.
- Richardson D and Thompson M (1993). An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection, IEEE Transactions on Software Engineering, 19:6, (533-553), Online publication date: 1-Jun-1993.
- Harrison R and Glass C Dynamic programming in a pure functional language Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, (179-186)
- Bowen G Testing reusable software Proceedings of the conference on TRI-Ada '92, (289-294)
- Cheng J (1992). The Task Dependence Net in Ada software development, ACM SIGAda Ada Letters, XII:4, (24-35), Online publication date: 15-Jul-1992.
- Baxter A and French J Specifications and testing aided by a variant of the cause-effect process Proceedings of the 30th annual Southeast regional conference, (405-408)
- Wood T, Miller K and Noonan R Local exhaustive testing Proceedings of the 30th annual Southeast regional conference, (77-84)
- Marick B The weak mutation hypothesis Proceedings of the symposium on Testing, analysis, and verification, (190-199)
- DeMillo R and Offutt A (1991). Constraint-Based Automatic Test Data Generation, IEEE Transactions on Software Engineering, 17:9, (900-910), Online publication date: 1-Sep-1991.
- Fewster M (1991). The managing director wants 100% automated testing. A case history, Software Testing, Verification & Reliability, 1:2, (43-55), Online publication date: 1-Jul-1991.
- Freedman R (1991). Testability of Software Components, IEEE Transactions on Software Engineering, 17:6, (553-564), Online publication date: 1-Jun-1991.
- Omar A and Mohammed F (1991). A survey of software functional testing methods, ACM SIGSOFT Software Engineering Notes, 16:2, (75-82), Online publication date: 1-Apr-1991.
- Singpurwalla N (1991). Determining an Optimal Time Interval for Testing and Debugging Software, IEEE Transactions on Software Engineering, 17:4, (313-319), Online publication date: 1-Apr-1991.
- Deason W, Brown D, Chang K and Cross II J (1991). A Rule-Based Software Test Data Generator, IEEE Transactions on Knowledge and Data Engineering, 3:1, (108-117), Online publication date: 1-Mar-1991.
- Su J and Ritter P (1991). Experience in Testing the Motif Interface, IEEE Software, 8:2, (26-33), Online publication date: 1-Mar-1991.
- Lockman A and Salasin J (1990). A procedure and tools for transition engineering, ACM SIGSOFT Software Engineering Notes, 15:6, (157-172), Online publication date: 1-Dec-1990.
- Lockman A and Salasin J A procedure and tools for transition engineering Proceedings of the fourth ACM SIGSOFT symposium on Software development environments, (157-172)
- Korel B (1990). Automated Software Test Data Generation, IEEE Transactions on Software Engineering, 16:8, (870-879), Online publication date: 1-Aug-1990.
- Morell L (1990). A Theory of Fault-Based Testing, IEEE Transactions on Software Engineering, 16:8, (844-857), Online publication date: 1-Aug-1990.
- Ricketts J (1990). Powers-of-ten information biases, MIS Quarterly, 14:1, (63-77), Online publication date: 1-Mar-1990.
- Rowland J and Zuyuan Y (1989). Experimental comparison of three system test strategies preliminary report, ACM SIGSOFT Software Engineering Notes, 14:8, (141-149), Online publication date: 1-Dec-1989.
- Richardson D, O'Malley O and Tittle C (1989). Approaches to specification-based testing, ACM SIGSOFT Software Engineering Notes, 14:8, (86-96), Online publication date: 1-Dec-1989.
- Rowland J and Zuyuan Y Experimental comparison of three system test strategies preliminary report Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, (141-149)
- Richardson D, O'Malley O and Tittle C Approaches to specification-based testing Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, (86-96)
- Whitner R and Balci O Guidelines for selecting and using simulation model verification techniques Proceedings of the 21st conference on Winter simulation, (559-568)
- Lazzerini B and Lopriore L (1989). Abstraction Mechanisms for Event Control in Program Debugging, IEEE Transactions on Software Engineering, 15:7, (890-901), Online publication date: 1-Jul-1989.
- Omar A and Mohammed F (1989). Structural testing of programs, ACM SIGSOFT Software Engineering Notes, 14:2, (62-70), Online publication date: 1-Apr-1989.
- Tai K (1989). What to do beyond branch testing, ACM SIGSOFT Software Engineering Notes, 14:2, (58-61), Online publication date: 1-Apr-1989.
- Gelperin D and Hetzel B (1988). The growth of software testing, Communications of the ACM, 31:6, (687-695), Online publication date: 1-Jun-1988.
- Terwilliger R and Campbell R An early report on encompass Proceedings of the 10th international conference on Software engineering, (344-354)
- Green C An evolutionary approach to verification and validation of expert systems Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, (760-760)
- Comfort J Simulation model testing Proceedings of the 20th annual symposium on Simulation, (185-196)
- Hou L (1987). A general and formal method for the program static analysis, Journal of Computer Science and Technology, 2:2, (115-123), Online publication date: 1-Apr-1987.
- Sanders D and Hartman J Assessing the quality of programs: a topic for the CS2 course Proceedings of the eighteenth SIGCSE technical symposium on Computer science education, (92-96)
- Sanders D and Hartman J (1987). Assessing the quality of programs: a topic for the CS2 course, ACM SIGCSE Bulletin, 19:1, (92-96), Online publication date: 1-Feb-1987.
- Borning A (1987). Computer system reliability and nuclear war, Communications of the ACM, 30:2, (112-131), Online publication date: 1-Feb-1987.
- Gomaa H (1986). Software development of real-time systems, Communications of the ACM, 29:7, (657-668), Online publication date: 1-Jul-1986.
- Terwilliger R and Campbell R PLEASE:Predictable Logic based ExecutAble SpeCifications Proceedings of the 1986 ACM fourteenth annual conference on Computer science, (349-358)
- Skibbe R A practical approach to the evaluation of microcode systems Proceedings of the 18th annual workshop on Microprogramming, (47-56)
- Skibbe R (1985). A practical approach to the evaluation of microcode systems, ACM SIGMICRO Newsletter, 16:4, (47-56), Online publication date: 1-Dec-1985.
- Ramsey J and Basili V Analyzing the test process using structural coverage Proceedings of the 8th international conference on Software engineering, (306-312)
- Grinthal E Software quality assurance for CAD (tutorial) Proceedings of the 22nd ACM/IEEE Design Automation Conference, (555-561)
- Boger D and Lyons N (1984). The organization of the software quality assurance process, ACM SIGMIS Database: the DATABASE for Advances in Information Systems, 16:2, (11-15), Online publication date: 31-Dec-1985.
- Huang J, Valdes P and Yeh R A tool-based approach for software testing and validation Proceedings of the July 9-12, 1984, national computer conference and exposition, (411-421)
- Hulten C Simple dynamic assertions for interactive program validation Proceedings of the July 9-12, 1984, national computer conference and exposition, (405-410)
- Zells L Giving away the data processing store, or Does the data processing department as we know it today have a future? Proceedings of the July 9-12, 1984, national computer conference and exposition, (293-301)
- Loesh R, Reifer D and Jacobs S Software management issues for new system designs Proceedings of the July 9-12, 1984, national computer conference and exposition, (267-272)
- Z. B and A. M A software quality assurance program through reusable code Proceedings of the 3rd annual international conference on Systems documentation, (107-113)
- Foster K (1984). Sensitive test data for logic expressions, ACM SIGSOFT Software Engineering Notes, 9:2, (120-125), Online publication date: 1-Apr-1984.
- Chong K and Hsia P Diagnostic system for distributed software Proceedings of the 7th international conference on Software engineering, (30-40)
- Brown E (1983). On the application of Rothon diagrams to data abstraction, ACM SIGPLAN Notices, 18:12, (17-24), Online publication date: 1-Dec-1983.
- Adler M and Gray M (1983). A formalization of Myers cause-effect graphs for unit testing, ACM SIGSOFT Software Engineering Notes, 8:5, (24-32), Online publication date: 1-Oct-1983.
- Müllerburg M (1983). The role of debugging within software engineering environments, ACM SIGPLAN Notices, 18:8, (81-90), Online publication date: 1-Aug-1983.
- Clarke L and Richardson D (1983). The application of error-sensitive testing strategies to debugging, ACM SIGPLAN Notices, 18:8, (45-52), Online publication date: 1-Aug-1983.
- Müllerburg M (1983). The role of debugging within software engineering environments, ACM SIGSOFT Software Engineering Notes, 8:4, (81-90), Online publication date: 1-Aug-1983.
- Clarke L and Richardson D (1983). The application of error-sensitive testing strategies to debugging, ACM SIGSOFT Software Engineering Notes, 8:4, (45-52), Online publication date: 1-Aug-1983.
- Zells L Data processing project management Proceedings of the May 16-19, 1983, national computer conference, (181-187)
- Wang R Logic analysis and its tools Proceedings of the May 16-19, 1983, national computer conference, (97-103)
- Chusho T, Tanaka A, Okamoto E, Honda A and Kurosaki T HITS Proceedings of the May 16-19, 1983, national computer conference, (73-80)
- Müllerburg M The role of debugging within software engineering environments Proceedings of the symposium on High-level debugging, (81-90)
- Clarke L and Richardson D The application of error-sensitive testing strategies to debugging Proceedings of the symposium on High-level debugging, (45-52)
- Henry S A project oriented course on software engineering Proceedings of the fourteenth SIGCSE technical symposium on Computer science education, (57-61)
- Henry S (1983). A project oriented course on software engineering, ACM SIGCSE Bulletin, 15:1, (57-61), Online publication date: 1-Feb-1983.
- Berry D (1983). A new methodology for generating test cases for a programming language compiler, ACM SIGPLAN Notices, 18:2, (46-56), Online publication date: 1-Feb-1983.
- Müllerburg M The role of debugging within software engineering environments Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging, (81-90)
- Clarke L and Richardson D The application of error-sensitive testing strategies to debugging Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging, (45-52)
- Skibbe R (1982). PACE - a microprogram evaluation system, ACM SIGMICRO Newsletter, 13:4, (181-191), Online publication date: 1-Dec-1982.
- Skibbe R PACE - a microprogram evaluation system Proceedings of the 15th annual workshop on Microprogramming, (181-191)
- Zave P Testing incomplete specifications of distributed systems Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, (42-48)
- Lybrook C Quality assurance in a large commercial data processing installation Proceedings of the June 7-10, 1982, national computer conference, (415-426)
- Howden W (1982). Validation of Scientific Programs, ACM Computing Surveys, 14:2, (193-227), Online publication date: 1-Jun-1982.
- Watkins M (1982). A technique for testing command and control software, Communications of the ACM, 25:4, (228-232), Online publication date: 1-Apr-1982.
- Collofello J and Woodfield S A project-unified software engineering course sequence Proceedings of the thirteenth SIGCSE technical symposium on Computer science education, (13-19)
- Collofello J and Woodfield S (1982). A project-unified software engineering course sequence, ACM SIGCSE Bulletin, 14:1, (13-19), Online publication date: 1-Feb-1982.
- Itano K and Ida T Software-fault detector for microprocessors Proceedings of the 1981 ACM SIGSMALL symposium on Small systems and SIGMOD workshop on Small database systems, (64-70)
- Itano K and Ida T (1981). Software-fault detector for microprocessors, ACM SIGSMALL Newsletter, 7:2, (64-70), Online publication date: 1-Oct-1981.
- Nash D and Willman H Software engineering applied to computer-aided design (CAD) software development Proceedings of the 18th Design Automation Conference, (530-539)
- Baird G and Johnson L Compiler validation Proceedings of the May 4-7, 1981, national computer conference, (361-366)
- Holthouse M and Lybrook C Improving software testing in large data processing organizations Proceedings of the May 4-7, 1981, national computer conference, (353-359)
- Ören T (1981). Concepts and criteria to assess acceptability of simulation studies, Communications of the ACM, 24:4, (180-189), Online publication date: 1-Apr-1981.
- Cox P (1981). Specification of a regression test for a mini computer operating system, ACM SIGMETRICS Performance Evaluation Review, 10:1, (29-32), Online publication date: 1-Apr-1981.
- Richardson D and Clarke L A partition analysis method to increase program reliability Proceedings of the 5th international conference on Software engineering, (244-253)
- Duran J and Ntafos S A report on random testing Proceedings of the 5th international conference on Software engineering, (179-183)
- Jacobs S Teaching software engineering in the adult education environment Proceedings of the twelfth SIGCSE technical symposium on Computer science education, (120-124)
- Jacobs S (1981). Teaching software engineering in the adult education environment, ACM SIGCSE Bulletin, 13:1, (120-124), Online publication date: 1-Feb-1981.
- Davis M and Weyuker E Pseudo-oracles for non-testable programs Proceedings of the ACM '81 conference, (254-257)
- Cox P Specification of a regression test for a mini computer operating system Proceedings of the 1981 ACM workshop/symposium on Measurement and evaluation of software quality, (29-32)
- Lieberman H and Hewitt C A session with Tinker Proceedings of the 1980 ACM conference on LISP and functional programming, (90-99)
- Howden W (1980). Applicability of Software Validation Techniques to Scientific Programs, ACM Transactions on Programming Languages and Systems, 2:3, (307-320), Online publication date: 1-Jul-1980.
- Boehm B Software engineering-as it is Proceedings of the 4th international conference on Software engineering, (11-21)
- Wu W, Nongpoh B, Nour M, Marcozzi M, Bardin S and Hauser C Fine-Grained Coverage-Based Fuzzing, ACM Transactions on Software Engineering and Methodology, 0:0
- Martin E, Xie T and Yu T Defining and Measuring Policy Coverage in Testing Access Control Policies Information and Communications Security, (139-158)