2025
Evaluating large language models for software testing.
Comput. Stand. Interfaces, 2025
Analyzing Exposure in Generative Adversarial Networks: Advancing Security Against AI-Synthesized Voice Threats.
Proceedings of the 2025 11th International Symposium on System Security, 2025
Broken Access Control Detection Focused on Privilege Escalation Prevention Using a Llama 3 LLM-Based Assistant.
Proceedings of the 2025 11th International Symposium on System Security, 2025
Evaluating Large Language Models Via Multi-Modal User Knowledge Graphs: A Comprehensive Assessment Framework.
Proceedings of the 2025 11th International Symposium on System Security, 2025
2024
Revisiting Software Reliability Modeling and Testing.
Computer, October, 2024
Certifying and Regulating AI/ML-Centric Applications.
Computer, September, 2024
Multi-Objective Software Defect Prediction via Multi-Source Uncertain Information Fusion and Multi-Task Multi-View Learning.
IEEE Trans. Software Eng., August, 2024
Introduction to the special issue on dependable systems and applications.
Inf. Softw. Technol., 2024
Software Fault Localization Based on Multi-objective Feature Fusion and Deep Learning.
CoRR, 2024
Many-Objective Search-Based Coverage-Guided Automatic Test Generation for Deep Neural Networks.
CoRR, 2024
A Hybrid Sampling and Multi-Objective Optimization Approach for Enhanced Software Defect Prediction.
CoRR, 2024
Smart Contract Vulnerability Detection based on Static Analysis and Multi-Objective Search.
CoRR, 2024
Search-Based Automated Program Repair: A Survey.
Proceedings of the 24th IEEE International Conference on Software Quality, 2024
A Review of the Applications of Heuristic Algorithms in Test Case Generation Problem.
Proceedings of the 24th IEEE International Conference on Software Quality, 2024
A Survey on Test Input Selection and Prioritization for Deep Neural Networks.
Proceedings of the 2024 10th International Symposium on System Security, 2024
Revolutionizing Truck Navigation with Advanced GIS Data and Hybrid Route Calculation.
Proceedings of the 2024 10th International Symposium on System Security, 2024
A Comprehensive Review of Learning-based Fuzz Testing Techniques.
Proceedings of the 2024 10th International Symposium on System Security, 2024
An Analysis and Comparison of Mutation Testing Tools for Python.
Proceedings of the 11th International Conference on Dependable Systems and Their Applications, 2024
2023
Alternative Ranking Distance Metrics for Fault-Focused Clustering in Parallel Fault Localization.
Int. J. Perform. Eng., 2023
Enhancing Deception Detection with Exclusive Visual Features using Deep Learning.
Int. J. Perform. Eng., 2023
Exploring the Capability of ChatGPT in Test Generation.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
Message from the Chairs QRS 2023.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
Global Nuclear Weapons Trends Forecast Via Machine Learning.
Proceedings of the 9th International Symposium on System Security, Safety, and Reliability, 2023
Automatic Generation of Solidity Test for Blockchain Smart Contract using Many Objective Search and Dimensionality Reduction.
Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023
2022
Policychain: A Decentralized Authorization Service With Script-Driven Policy on Blockchain for Internet of Things.
IEEE Internet Things J., 2022
Service Caching Strategy based on Edge Computing and Reinforcement Learning.
Int. J. Perform. Eng., 2022
Empirical Research for Self-Admitted Technical Debt Detection in Blockchain Software Projects.
Int. J. Perform. Eng., 2022
Multi-UAV Collaborative Path Planning using Hierarchical Reinforcement Learning and Simulated Annealing.
Int. J. Perform. Eng., 2022
CT-IoT: a combinatorial testing-based path selection framework for effective IoT testing.
Empir. Softw. Eng., 2022
TBEM: Testing-Based GPU-Memory Consumption Estimation for Deep Learning.
IEEE Access, 2022
Quality-Oriented Hybrid Path Planning Based on A* and Q-Learning for Unmanned Aerial Vehicle.
IEEE Access, 2022
Automatic Test Case Generation Using Many-Objective Search and Principal Component Analysis.
IEEE Access, 2022
Improving Search-Based Automatic Program Repair With Neural Machine Translation.
IEEE Access, 2022
Social Media Safety Practices and Flagging Sensitive Posts.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
Improving Search-based Test Case Generation with Local Search using Adaptive Simulated Annealing and Dynamic Symbolic Execution.
Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022
2021
A bibliometric assessment of software engineering themes, scholars and institutions (2013-2020).
J. Syst. Softw., 2021
Design Principles and Best Practices of Central Bank Digital Currency.
Int. J. Perform. Eng., 2021
Kubernetes Virtual Warehouse Placement based on Reinforcement Learning.
Int. J. Perform. Eng., 2021
Safety, Security, and Reliability of Autonomous Vehicle Software.
Computer, 2021
Software Fault-Proneness Analysis based on Composite Developer-Module Networks.
IEEE Access, 2021
Detection and Mitigation of Label-Flipping Attacks in Federated Learning Systems with KPCA and K-Means.
Proceedings of the 8th International Conference on Dependable Systems and Their Applications, 2021
2020
IEEE Trans. Reliab., 2020
Reliability analysis of dynamic fault trees with spare gates using conditional binary decision diagrams.
J. Syst. Softw., 2020
A Survey of the Inadequacies in Traffic Sign Recognition Systems for Autonomous Vehicles.
Int. J. Perform. Eng., 2020
How does combinatorial testing perform in the real world: an empirical study.
Empir. Softw. Eng., 2020
What Ruined Your Cake: Impacts of Code Modifications on Bug Distribution.
IEEE Access, 2020
Secure Storage and Access for Task-Scheduling Schemes on Consortium Blockchain and Interplanetary File System.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020
A Survey ofNFC Mobile Payment: Challenges and Solutions using Blockchain and Cryptocurrencies.
Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020
2019
MSeer - An Advanced Technique for Locating Multiple Bugs in Parallel.
IEEE Trans. Software Eng., 2019
A bibliometric assessment of software engineering scholars and institutions (2010-2017).
J. Syst. Softw., 2019
Successes, challenges, and rethinking - an industrial investigation on crowdsourced mobile application testing.
Empir. Softw. Eng., 2019
Software-Testing Contests: Observations and Lessons Learned.
Computer, 2019
Using Tri-Relation Networks for Effective Software Fault-Proneness Prediction.
IEEE Access, 2019
A Survey on Blockchain for Enterprise Using Hyperledger Fabric and Composer.
Proceedings of the 6th International Conference on Dependable Systems and Their Applications, 2019
2018
Architecture-level hazard analysis using AADL.
J. Syst. Softw., 2018
The impacts of techniques, programs and tests on automated program repair: An empirical study.
J. Syst. Softw., 2018
Genetic Algorithm-based Test Generation for Software Product Line with the Integration of Fault Localization Techniques.
Empir. Softw. Eng., 2018
Improving Software Testing Education via Industry Sponsored Contests.
Proceedings of the IEEE Frontiers in Education Conference, 2018
An Algebraic Binary Decision Diagram for Analysis of Dynamic Fault Tree.
Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018
MCDC-Star: A White-Box Based Automated Test Generation for High MC/DC Coverage.
Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018
2017
Effective software fault localization using predicted execution results.
Softw. Qual. J., 2017
Be more familiar with our enemies and pave the way forward: A review of the roles bugs played in software failures.
J. Syst. Softw., 2017
An empirical study on constraint optimization techniques for test generation.
Sci. China Inf. Sci., 2017
Improving MC/DC and Fault Detection Strength Using Combinatorial Testing.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017
Estimation of the Total Number of Software Failures from Test Data and Code Coverage: A Bayesian Approach.
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017
2016
A Survey on Software Fault Localization.
IEEE Trans. Software Eng., 2016
Special Section on Software Quality Assurance: Research and Practice.
IEEE Trans. Reliab., 2016
Model-based mutation testing - Approach and case studies.
Sci. Comput. Program., 2016
Editorial of the special issue to celebrate the 35th anniversary of JSS.
J. Syst. Softw., 2016
Research on campus traffic congestion detection using BP neural network and Markov model.
J. Inf. Secur. Appl., 2016
A Generalized Multiple-Valued Decision Diagram for Reliability Analysis of Fault-Tolerant Systems.
Proceedings of the Third International Conference on Trustworthy Systems and their Applications, 2016
Applying Combinatorial Testing in Industrial Settings.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
Effective Test Generation for Combinatorial Decision Coverage.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
MHCP Model for Quality Evaluation for Software Structure Based on Software Complex Network.
Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016
NPI-Based Adaptive Software Rejuvenation Schedule under Random Censoring.
Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016
2015
Case Study of Requirements-Based Test Case Generation on an Automotive Domain.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
Diagnosing SDN Network Problems by Using Spectrum-Based Fault Localization Techniques.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
Experience report: How do techniques, programs, and tests impact automated program repair?
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015
Message from the Chair of the Student Research Symposium.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015
2014
The DStar Method for Effective Software Fault Localization.
IEEE Trans. Reliab., 2014
WAS: A weighted attribute-based strategy for cluster test selection.
J. Syst. Softw., 2014
Combining mutation and fault localization for automated program debugging.
J. Syst. Softw., 2014
Diversity oriented test data generation using metaheuristic search techniques.
Inf. Sci., 2014
Software Safety Standards: Evolution and Lessons Learned.
Proceedings of the 2014 International Conference on Trustworthy Systems and their Applications, 2014
Evaluating Software Safety Standards: A Systematic Review and Comparison.
Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014
Analysis of System Reliability for Cache Coherence Scheme in Multi-processor.
Proceedings of the IEEE Eighth International Conference on Software Security and Reliability, 2014
An empirical study of requirements-based test generation on an automobile control system.
Proceedings of the Symposium on Applied Computing, 2014
Program Debugging: Research and Practice.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014
Experience of teaching Executive Master's program in Software Engineering: Challenges, lessons learned, and path forward.
Proceedings of the 27th IEEE Conference on Software Engineering Education and Training, 2014
2013
Code Coverage of Adaptive Random Testing.
IEEE Trans. Reliab., 2013
A consensus-based strategy to improve the quality of fault localization.
Softw. Pract. Exp., 2013
Metamorphic slice: An application in spectrum-based fault localization.
Inf. Softw. Technol., 2013
Enhancing software reliability estimates using modified adaptive testing.
Inf. Softw. Technol., 2013
Undergraduates and research: Motivations, challenges, and the path forward.
Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013
Software engineering education via the use of corporate-sponsored projects: A panel discussion of the approaches, benefits, and challenges for industry-academic collaboration.
Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013
2012
Towards Better Fault Localization: A Crosstab-Based Statistical Approach.
IEEE Trans. Syst. Man Cybern. Part C, 2012
Effective Software Fault Localization Using an RBF Neural Network.
IEEE Trans. Reliab., 2012
Special Issue on Dynamic Analysis and Testing of Embedded Software.
J. Syst. Softw., 2012
Validation of SDL-based architectural design models using communication-based coverage criteria.
Inf. Softw. Technol., 2012
Mining Executable Specifications of Web Applications from Selenium IDE Tests.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012
Software Fault Localization Using DStar (D*).
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012
Program Debugging with Effective Software Fault Localization (Invited Talk).
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012
Involving Undergraduates in Research: Motivations and Challenges.
Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012
2011
Integrating Safety Analysis With Functional Modeling.
IEEE Trans. Syst. Man Cybern. Part A, 2011
An assessment of systems and software engineering scholars and institutions (2003-2007 and 2004-2008).
J. Syst. Softw., 2011
On the estimation of adequate test set size using fault failure rates.
J. Syst. Softw., 2011
Special section editorial - Software Engineering track of the 24th Annual Symposium on Applied Computing.
Inf. Softw. Technol., 2011
Mutant generation for embedded systems using kernel-based software and hardware fault simulation.
Inf. Softw. Technol., 2011
Ties within Fault Localization rankings: Exposing and Addressing the Problem.
Int. J. Softw. Eng. Knowl. Eng., 2011
Guest Editors' Introduction.
Int. J. Softw. Eng. Knowl. Eng., 2011
Safe Software: Does It Cost More to Develop?
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011
Validation of SDL-Based Architectural Design Models: New Coverage Criteria.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011
Deriving Data Dependence from/for UML State Machine Diagrams.
Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011
On the equivalence of certain fault localization techniques.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Spectrum-Based Fault Localization: Testing Oracles are No Longer Mandatory.
Proceedings of the 11th International Conference on Quality Software, 2011
GUI Software Fault Localization Using N-gram Analysis.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
Teaching software testing: Experiences, lessons learned and the path forward.
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011
On the Consensus-Based Application of Fault Localization Techniques.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011
2010
Software Fault Localization.
Proceedings of the Encyclopedia of Software Engineering, 2010
IEEE Reliability Society Technical Operations Annual Technical Report for 2010.
,
,
,
,
,
,
,
,
,
,
,
,
IEEE Trans. Reliab., 2010
A family of code coverage-based heuristics for effective fault localization.
J. Syst. Softw., 2010
Editorial for the JSS Top Scholar Special Issue.
J. Syst. Softw., 2010
Software Test Automation.
Adv. Softw. Eng., 2010
Recent Catastrophic Accidents: Investigating How Software was Responsible.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010
Towards Scalable Robustness Testing.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010
An Evaluation of Tie-Breaking Strategies for Fault Localization Techniques.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010
A Grouping-Based Strategy to Improve the Effectiveness of Fault Localization Techniques.
Proceedings of the 10th International Conference on Quality Software, 2010
Using Mutation to Automatically Suggest Fixes for Faulty Programs.
Proceedings of the Third International Conference on Software Testing, 2010
An improved method to simplify software metric models constructed with incomplete data samples.
Proceedings of the Seventh International Conference on Fuzzy Systems and Knowledge Discovery, 2010
An Undergraduate Summer Research Program in Software Safety.
Proceedings of the Proceedings 23rd IEEE Conference on Software Engineering Education and Training, 2010
Bridging the Gap between Fault Trees and UML State Machine Diagrams for Safety Analysis.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010
2009
An assessment of systems and software engineering scholars and institutions (2002-2006).
J. Syst. Softw., 2009
Software monitoring through formal specification animation.
Innov. Syst. Softw. Eng., 2009
Validation of SDL specifications using EFSM-based test generation.
Inf. Softw. Technol., 2009
Automated Test Code Generation from Class State Models.
Int. J. Softw. Eng. Knowl. Eng., 2009
Bp Neural Network-Based Effective Fault Localization.
Int. J. Softw. Eng. Knowl. Eng., 2009
A Segment Based Approach for the Reduction of the Number of Test Cases for Performance Evaluation of Components.
Int. J. Softw. Eng. Knowl. Eng., 2009
Visualizing Multiple Program Executions to Assist Behavior Verification.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009
Performance Testing of Mobile Applications at the Unit Test Level.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009
Are Fault Failure Rates Good Estimators of Adequate Test Set Size?.
Proceedings of the Ninth International Conference on Quality Software, 2009
Insights on Fault Interference for Programs with Multiple Bugs.
Proceedings of the ISSRE 2009, 2009
A Genetic Algorithm Based Approach for Event Synchronization Analysis in Real-Time Embedded Systems.
Proceedings of the International Conference on Embedded Software and Systems, 2009
2008
Guest editors' introduction to the special section on the software engineering track of the 22nd annual ACM symposium on applied computing (ACM SAC-SE 2007).
Softw. Qual. J., 2008
An assessment of systems and software engineering scholars and institutions (2001-2005).
J. Syst. Softw., 2008
Testing Aspect-Oriented Programs with UML Design Models.
Int. J. Softw. Eng. Knowl. Eng., 2008
Reachability Graph-Based Test Sequence Generation for Concurrent Programs.
Int. J. Softw. Eng. Knowl. Eng., 2008
A Review Approach to Detecting Violations of Consistency between Specification and Program Structures.
Int. J. Softw. Eng. Knowl. Eng., 2008
Aspect-oriented specification of threat-driven security requirements.
Int. J. Comput. Appl. Technol., 2008
Software Fault Localization Using N-gram Analysis.
Proceedings of the Wireless Algorithms, 2008
Message from the software engineering track chairs: editorial.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
UML state machine diagram driven runtime verification of Java programs for message interaction consistency.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Automatic test data generation using particle systems.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Optimizing Test Process Action Plans by Blending Testing Maturity Model and Design of Experiments.
Proceedings of the Eighth International Conference on Quality Software, 2008
Does Adaptive Random Testing Deliver a Higher Confidence than Random Testing?
Proceedings of the Eighth International Conference on Quality Software, 2008
Using an RBF Neural Network to Locate Program Bugs.
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008
Anything You Want to Ask about Software Reliability Engineering.
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008
A race condition graph for concurrent program behavior.
Proceedings of the 3rd International Conference on Intelligent System and Knowledge Engineering, 2008
A Crosstab-based Statistical Method for Effective Fault Localization.
Proceedings of the First International Conference on Software Testing, 2008
Advancing test automation technology to meet the challenges of model-driven software development: report on the 3rd workshop on automation of software test.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
An EFSM-based Test Generation for Validation of SDL Specifications.
Proceedings of the 3rd International Workshop on Automation of Software Test, 2008
A Systematic Approach for Integrating Fault Trees into System Statecharts.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
A Method Combining Review and Testing for Verifying Software Systems.
Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, 2008
Flexible Aspect-Oriented Design Model Checking.
Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008
2007
A Statistical Methodology to Simplify Software Metric Models Constructed Using Incomplete Data Samples.
Int. J. Softw. Eng. Knowl. Eng., 2007
Revitalizing Software Engineering Education in the 21st Century.
Proceedings of the International Conference on Software Engineering Theory and Practice, 2007
Architectural Assertions: Checking Architectural Constraints at Run-Time.
Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007
Automated Test Code Generation from UML Protocol State Machines.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007
Effective Fault Localization using BP Neural Networks.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007
Reducing the Number of Test Cases for Performance Evaluation of Components.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007
Outlier elimination in construction of software metric models.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Automation of Software Test - Report on the Second Interional Workshop AST 2007.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
A Threat Model Driven Approach for Security Testing.
Proceedings of the Third International Workshop on Software Engineering for Secure Systems, 2007
Effective Fault Localization using Code Coverage.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007
A Control-Theoretic Approach to QoS Adaptation in Data Stream Management Systems Design.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007
An Architectural Framework for the Design and Analysis of Autonomous Adaptive Systems.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007
2006
Establishing structural testing criteria for Java bytecode.
Softw. Pract. Exp., 2006
Effective program debugging based on execution slices and inter-block data dependency.
J. Syst. Softw., 2006
An agent-based data-flow testing approach for Web applications.
Inf. Softw. Technol., 2006
Guest Editors' Introduction.
Int. J. Softw. Eng. Knowl. Eng., 2006
Modeling and Analysis of Performance Aspects for Software Architecture: a Uml-based Approach.
Int. J. Softw. Eng. Knowl. Eng., 2006
Coverage Testing Embedded Software on Symbian/OMAP.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006
Applying statistical methodology to optimize and simplify software metric models with missing data.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006
Application of a Statistical Methodology to Simplify Software Quality Metric Models Constructed Using Incomplete Data Samples.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006
QVT based model transformation for design pattern evolutions.
Proceedings of the Tenth IASTED International Conference on Internet and Multimedia Systems and Applications (IMSA 2006), 2006
Optimal and Adaptive Testing with Cost Constraints.
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006
Multi Criteria Selection of Components Using the Analytic Hierarchy Process.
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006
2005
An Approach to Integrating SIP in Converged Multimodal/Multimedia Communication Services.
Telecommun. Syst., 2005
Coverage testing of Java programs and components.
Sci. Comput. Program., 2005
Smart debugging software architectural design in SDL.
J. Syst. Softw., 2005
Static and dynamic distance metrics for feature-based code analysis.
J. Syst. Softw., 2005
A Constraint Solver for Code-based Test Data Generation.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005
Modeling Reusable Security Aspects for Software Architectures: a Pattern Driven Approach.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005
Source code-based software risk assessing.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
A Case Study of the Recursive Least Squares Estimation Approach to Adaptive Testing for Software Components.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005
Analyzing Message-Passing Programs through Visual Slicing.
Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005
Effective Generation of Test Sequences for Structural Testing of Concurrent Programs.
Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005
A Run-Time Adaptable Persistency Service using the SMART Framework.
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005
A Novel Framework for Non-Deterministic Testing of Message-Passing Programs.
Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005
An Agent-Based Testing Approach for Web Applications.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005
Optimizing and Simplifying Software Metric Models Constructed Using Maximum Likelihood Methods.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005
An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic.
Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005
An Integrated Solution for Testing and Analyzing Java Applications in an Industrial Setting.
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005
2004
Empirical Evaluation of a Run-Time Dynamic Adaptable Framework.
Stud. Inform. Univ., 2004
An analytical approach to architecture-based software performance and reliability prediction.
Perform. Evaluation, 2004
Redesigning Legacy Systems Into The Object-Oriented Paradigm.
Int. J. Softw. Eng. Knowl. Eng., 2004
Mutation Testing Applied to Validate SDL Specifications.
Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004
Case study of a multimedia wireless system.
Proceedings of the 2004 IEEE International Conference on Multimedia and Expo, 2004
An Execution Slice and Inter-Block Data Dependency-Based Approach for Fault Localization.
Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004
2003
Coverage testing software architectural design in SDL.
Comput. Networks, 2003
An Adaptable Architecture for Secure Delivery of Converged Services.
Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 2003
Performance evaluation of predictive handoff scheme with channel borrowing.
Proceedings of the 22nd IEEE International Performance Computing and Communications Conference, 2003
An approach of integrating SIP in converged multimodal/multimedia communication services.
Proceedings of the 12th International Conference on Computer Communications and Networks, 2003
Component-Based Software: An Overview of Testing.
Proceedings of the Component-Based Software Quality - Methods and Techniques, 2003
2002
JaBÁ: A Java Bytecoder Analyser.
Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002
Automatic Test Generation from Communicating Extended Finite State Machine (CEFSM)-Based Models.
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002
Measuring Distance between Program Features.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002
2001
Effect of code coverage on software reliability measurement.
IEEE Trans. Reliab., 2001
Editorial: Mutation 2000 - A Symposium on Mutation Testing.
Softw. Test. Verification Reliab., 2001
Constructing network models from workflows.
Proceedings of the 10th International Conference on Computer Communications and Networks, 2001
2000
Applying design metrics to predict fault-proneness: a case study on a large-scale software system.
Softw. Pract. Exp., 2000
Quantifying the closeness between program components and features.
J. Syst. Softw., 2000
An Integrated Solution for Creating Dependable Software.
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000
1999
Dynamic analysis methods for the year 2000 problem.
J. Softw. Maintenance Res. Pract., 1999
Test set size minimization and fault detection effectiveness: A case study in a space application.
J. Syst. Softw., 1999
Metrics for Quantifying the Disparity, Concentration, and Dedication between Program Components and Features.
Proceedings of the 6th IEEE International Software Metrics Symposium (METRICS 1999), 1999
1998
Effect of Test Set Minimization on Fault Detection Effectiveness.
Softw. Pract. Exp., 1998
Understanding data-sensitive code: one piece of the year 2000 puzzle.
ACM SIGSOFT Softw. Eng. Notes, 1998
Mining System Tests to Aid Software Maintenance.
Computer, 1998
Applying testability to reliability estimation.
Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998
Applying design metrics to a large-scale software system.
Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998
1997
Incorporating Code Coverage in the Reliability Estimation for Fault-Tolerant Software.
Proceedings of the Sixteenth Symposium on Reliable Distributed Systems, 1997
Predicting Fault Detection Effectiveness.
Proceedings of the 4th IEEE International Software Metrics Symposium (METRICS 1997), 1997
A study of effective regression testing in practice.
Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997
1996
An empirical study of the correlation between code coverage and reliability estimation.
Proceedings of the 3rd IEEE International Software Metrics Symposium (METRICS 1996), 1996
1995
Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods.
IEEE Trans. Software Eng., 1995
Fault detection effectiveness of mutation and data flow testing.
Softw. Qual. J., 1995
Reducing the cost of mutation testing: An empirical study.
J. Syst. Softw., 1995
Fault localization using execution slices and dataflow tests.
Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995
Mutation Testing Applied to Validate Specifications Based on Petri Nets.
Proceedings of the Formal Description Techniques VIII, 1995
1994
An Empirical Comparison of Data Flow and Mutation-Based Test Adequacy Criteria.
Softw. Test. Verification Reliab., 1994
Constrained Mutation in C programs.
Proceedings of the 8th Brazilian Symposium on Software Engineering, 1994
Effect of test set size and block coverage on the fault detection effectiveness.
Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994
Mutation Versus All-uses: An Empirical Evaluation of Cost, Strength and Effectiveness.
Proceedings of the Software Quality and Productivity: Theory, 1994
A Theoretical Comparison Between Mutation and Data Flow Based Test Adequacy Criteria.
Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, 1994