Abstract
No abstract available.
Cited By
- 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.
- Gordon C Mocking Temporal Logic Proceedings of the 2024 ACM SIGPLAN International Symposium on SPLASH-E, (98-109)
- 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.
- 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)
- 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.
- 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.
- 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.
- 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.
- 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.
- 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)
- 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)
- 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.
- 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)
- 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)
- 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)
- 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.
- 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.
- 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.
- 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)
- 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.
- 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.
- 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)
- Bijlsma A, Passier H, Pootjes H and Stuurman S Integrated Test Development Proceedings of the 7th Computer Science Education Research Conference, (9-20)
- 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)
- 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.
- 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)
- (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.
- 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.
- 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.
- 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)
- 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)
- 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.
- 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.
- 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.
- 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)
- 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.
- Almeida L, Cirilo E and Barbosa E SS-BDD Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing, (1-10)
- 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)
- 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)
- 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.
- 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.
- 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.
- 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)
- 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.
- 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)
- 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)
- 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)
- 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.
- 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)
- 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)
- 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)
- 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)
- van Deursen A (2015). Testing web applications with state objects, Communications of the ACM, 58:8, (36-43), Online publication date: 23-Jul-2015.
- van Deursen A (2015). Beyond Page Objects: Testing Web Applications with State Objects, Queue, 13:6, (20-37), Online publication date: 1-Jun-2015.
- 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)
- Anderson J, Salem S and Do H Striving for failure Proceedings of the 37th International Conference on Software Engineering - Volume 2, (49-58)
- 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)
- 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.
- 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)
- 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)
- 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.
- 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.
- 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.
- 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)
- 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.
- 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)
- 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)
- 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)
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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.
- 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)
- 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.
- 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)
- 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)
- 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.
- 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.
- 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)
- 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.
- Tiwari R and Goel N (2013). Reuse, ACM SIGSOFT Software Engineering Notes, 38:2, (1-11), Online publication date: 23-Mar-2013.
- 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)
- 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.
- 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)
- 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)
- Mirshokraie S and Mesbah A JSART Proceedings of the 12th international conference on Web Engineering, (238-252)
- 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)
- 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)
- 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.
- 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.
- 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.
- 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)
- 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)
- 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)
- Hura D and Dimmich M A method facilitating integration testing of embedded software Proceedings of the Ninth International Workshop on Dynamic Analysis, (7-11)
- Johansen M, Haugen Ø and Fleurey F Bow tie testing Proceedings of the 16th European Conference on Pattern Languages of Programs, (1-13)
- 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)
- 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)
- 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)
- Kidwell B A decision support system for the classification of software coding faults Proceedings of the 33rd International Conference on Software Engineering, (1158-1160)
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- Sneed H Testing object-oriented software systems Proceedings of the 1st Workshop on Testing Object-Oriented Systems, (1-5)
- 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.
- 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.
- 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)
- 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)
- 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)
- 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.
- Tang J and Lo E A lightweight framework for testing database applications Proceedings of the 2010 ACM Symposium on Applied Computing, (1632-1637)
- 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.
- 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)
- 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)
- 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.
- 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)
- 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)
- 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.
- 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.
- 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)
- 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)
- 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)
- 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.
- 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)
- 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.
- 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)
- 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.
- 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)
- 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)
- 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)
- Chang S, Hsieh K and Lee J pTest Proceedings of the Conference on Design, Automation and Test in Europe, (1012-1017)
- 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.
- Proulx V (2009). Test-driven design for introductory OO programming, ACM SIGCSE Bulletin, 41:1, (138-142), Online publication date: 4-Mar-2009.
- Proulx V Test-driven design for introductory OO programming Proceedings of the 40th ACM technical symposium on Computer science education, (138-142)
- 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)
- 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.
- 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.
- 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.
- 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.
- 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.
- 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)
- Al Dallal J Integrated object-oriented framework-based testing environment Proceedings of the 8th conference on Applied computer scince, (111-116)
- 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)
- 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.
- 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.
- Qu X, Cohen M and Rothermel G Configuration-aware regression testing Proceedings of the 2008 international symposium on Software testing and analysis, (75-86)
- Binnig C, Kossmann D and Lo E Multi-RQP Proceedings of the 1st international workshop on Testing database systems, (1-6)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- Cartaxo E, Andrade W, Neto F and Machado P LTS-BT Proceedings of the 2008 ACM symposium on Applied computing, (1540-1544)
- 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)
- 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)
- Belli F and Hollmann A Test generation and minimization with "basic" statecharts Proceedings of the 2008 ACM symposium on Applied computing, (718-723)
- Bayan M and Cangussu J Automatic feedback, control-based, stress and load testing Proceedings of the 2008 ACM symposium on Applied computing, (661-666)
- 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.
- 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.
- Ammann P, Offutt J and Xu W Coverage criteria for state based specifications Formal methods and testing, (118-156)
- 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)
- 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)
- Sarma M and Mall R (2007). Synthesis of system state models, ACM SIGPLAN Notices, 42:11, (5-14), Online publication date: 1-Nov-2007.
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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)
- 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)
- 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)
- Bertolino A Software Testing Research 2007 Future of Software Engineering, (85-103)
- 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)
- Stevens R, Parsons B and King T A self-testing autonomic container Proceedings of the 45th annual ACM Southeast Conference, (1-6)
- 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)
- Zhao C and Alexander R Testing AspectJ programs using fault-based testing Proceedings of the 3rd workshop on Testing aspect-oriented programs, (13-16)
- 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)
- 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.
- 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)
- 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)
- Corriveau J Testable requirements for offshore outsourcing Proceedings of the 1st international conference on Software engineering approaches for offshore and outsourced development, (27-43)
- 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)
- Melton H and Tempero E JooJ Proceedings of the thirtieth Australasian conference on Computer science - Volume 62, (87-95)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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)
- 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.
- Anbalagan P and Xie T APTE Proceedings of the 2nd workshop on Testing aspect-oriented programs, (27-32)
- Xu W and Xu D State-based testing of integration aspects Proceedings of the 2nd workshop on Testing aspect-oriented programs, (7-14)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- Gallagher L and Offutt J Automatically testing interacting software components Proceedings of the 2006 international workshop on Automation of software test, (57-63)
- 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)
- 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)
- 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)
- Jones E Test-driven specification Proceedings of the 44th annual ACM Southeast Conference, (796-797)
- 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.
- Meyer B Dependable software Dependable Systems, (1-33)
- 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.
- 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.
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- Lazic L and Mastorakis N RBOSTP Proceedings of the 9th WSEAS International Conference on Computers, (1-15)
- Lazic L and Mastorakis N RBOSTP Proceedings of the 9th WSEAS International Conference on Computers, (1-14)
- 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.
- 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)
- 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)
- Amyot D, Roy J and Weiss M UCM-Driven testing of web applications Proceedings of the 12th international conference on Model Driven, (247-264)
- 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)
- 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)
- Pretschner A Model-based testing Proceedings of the 27th international conference on Software engineering, (722-723)
- Rountev A and Connell B Object naming analysis for reverse-engineered sequence diagrams Proceedings of the 27th international conference on Software engineering, (254-263)
- 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.
- Martins E and Vieira V Regression test selection for testable classes Proceedings of the 5th European conference on Dependable Computing, (453-470)
- 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)
- 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.
- 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)
- 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.
- 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.
- 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)
- 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.
- 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)
- 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)
- 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)
- 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)
- Wasowski A (2004). Flattening statecharts without explosions, ACM SIGPLAN Notices, 39:7, (257-266), Online publication date: 11-Jul-2004.
- 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)
- 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)
- 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.
- 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.
- Wasowski A Flattening statecharts without explosions Proceedings of the 2004 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, (257-266)
- 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.
- Pezz M and Young M Testing Object Oriented Software Proceedings of the 26th International Conference on Software Engineering, (739-740)
- 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)
- 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.
- Bellettini C, Marchetto A and Trentini A WebUml Proceedings of the 2004 ACM symposium on Applied computing, (1662-1669)
- 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)
- 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.
- Bertolino A and Polini A A framework for component deployment testing Proceedings of the 25th International Conference on Software Engineering, (221-231)
- 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)
- 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)
- Traoré I A transition-based strategy for object-oriented software testing Proceedings of the 2003 ACM symposium on Applied computing, (1055-1062)
- Bertolino A Software testing research and practice Proceedings of the abstract state machines 10th international conference on Advances in theory and practice, (1-21)
- 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.
- 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)
- 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.
- 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)
- 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.
- 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.
- 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)
- Mecke C Automated testing of mySAP business processes Software quality and software testing in internet times, (261-279)
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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
- 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)
Index Terms
- Testing object-oriented systems: models, patterns, and tools
Please enable JavaScript to view thecomments powered by Disqus.
Recommendations
Testing object-oriented software (abstract)
OOPSLA '92: Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)Testing of object-oriented software is just as important as testing non-object-oriented software, but the process is fundamentally different because of such factors as information hiding, encapsulation, and inheritance. This tutorial teaches you the ...
Testing object-oriented software (abstract)
Testing of object-oriented software is just as important as testing non-object-oriented software, but the process is fundamentally different because of such factors as information hiding, encapsulation, and inheritance. This tutorial teaches you the ...