yusuke1997/dblp-id-title huggingface dataset:
A Bidirectional Framework for Model Synchronization in Component-Based Software Development
Secure Information Flow in Java via Reachability Analysis of Pushdown System
Towards a Method for Evaluating the Precision of Software Measures (Short Paper)
Prioritizing Tests for Software Fault Localization
Utilizing Formalization to Test Programs without Available Source Code (Short Paper)
A Method for Realizing Software Architecture Design
Test Case Prioritization Based on Varying Testing Requirement Priorities and Test Case Costs
Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications
Measuring Class Cohesion Based on Iterative Process Using External Class Relationships
Knowledge Sharing in Software Development
A Program Transformation Framework for Multicore Software Reengineering
Improving Model-Checkers for Software Testing
An Approach for Generation of J2EE Access Control Configurations from Requirements Specification
Similarity-Based Search for Model Checking: A Pilot Study with Java PathFinder
Higher-Order Entity Relationship Modelling with UML
An Effective Iterative Metamorphic Testing Algorithm Based on Program Path Analysis
Passive Testing of Timed Systems with Timeouts
Multiagent System for Reputation--based Web Services Selection
Quality Assessment of Mutation Operators Dedicated for C# Programs
Increasing Software Effort Estimation Accuracy Using Experience Data, Estimation Models and Checklists
Assessment of the Requirements Management Process using a Two-Stage Questionnaire
A Refinement-Based Validation Method for Programmable Logic Controllers
Cost Estimation for Model-Driven Interoperability: A Canonical Data Modeling Approach
Tool Support for Agent Development using the Prometheus Methodology
Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications
Identification of Categories and Choices in Activity Diagrams
An Empirical Evaluation of Test Suite Reduction for Boolean Specification-Based Testing (Short Paper)
COSTUME: A Method for Building Quality Models for Composite COTS-Based Software Systems
Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models
An Automated Approach to System Testing Based on Scenarios and Operations Contracts
Replication for Adaptive Responsiveness in Service-Oriented Systems
Formal Modeling and Verification of Low-Level Software Programs
Dealing with Software Model Quality in Practice: Experience in a Research Project
Failure Analysis of Open Source J2EE Application Servers
Software Testing Education and Training in Hong Kong
Quantifying Program Comprehension with Interaction Data
Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation
A Theoretical Study: The Impact of Cloning Failed Test Cases on the Effectiveness of Fault Localization
Visualization Techniques of Management Rules for Software Development Projects
Architecture Compliance Checking at Runtime: An Industry Experience Report
Test-Driven Component Integration with UML 2.0 Testing and Monitoring Profile
A Contract-Based Component Model for Embedded Systems
Quality of the Source Code for Design and Architecture Recovery Techniques: Utilities are the Problem
A Study of the Metrics applied to the Software Evaluation Framework 'SEF'
Synthesizing Component-Based WSN Applications via Automatic Combination of Code Optimization Techniques
Measuring Functional Size of Interactive Software: A Support System Based on XForms-Format User Interface Specifications
A Dynamic Fault Localization Technique with Noise Reduction for Java Programs
Web Traversal with a History Stack
A Hybrid Approach to Detecting Security Defects in Programs
Refinement of a Tool to Assess the Data Quality in Web Portals
A Robot Fault-Tolerance Approach Based on Fault Type
Bayesian Probabilistic Monitor: A New and Efficient Probabilistic Monitoring Approach Based on Bayesian Statistics
Automated Test Case Generation for Embedded Software Using Extended Interface Automata
Web Service Security Analysis Model Based on Program Slicing
Bridging the Concept to Implementation Gap in Software System Testing
SmartClean: An Incremental Data Cleaning Tool
The Impact of Equivalent, Redundant and Quasi Mutants on Database Schema Mutation Analysis
An Experience on using the Team Software Process for Implementing the Capability Maturity Model for Software in a Small Organization
Improving the Modifiability of the Architecture of Business Applications
Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture
Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach
How to Measure Quality of Software Developed by Subcontractors (Short Paper)
Stochastic Voting Algorithms for Web Services Group Testing
A Multi-Property Trust Model for Reconfiguring Component Software
Resource-Aware Test Suite Optimization
Software Quality Model for Consumer Electronics Product
Improving the Quality of AspectJ Application: Translating Name-Based Pointcuts to Analysis-Based Pointcuts
On the Composition of Design Patterns
On Partitioning the Domain for Test Case Reusability (Short Paper)
Requirement Checking: Generating Uses Cases out of Navigational Logs in Web Applications
Steering the inspection process with prescriptive metrics and process patterns
Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework
Study on Application of a Quantitative Evaluation Approach for Software Architecture Adaptability
A Debugging Approach for Java Runtime Exceptions Based on Program Slicing and Stack Traces
2013 13th International Conference on Quality Software, Najing, China, July 29-30, 2013
Asynchronous Communication For Complicated E-Commerce Applications
Open Code Coverage Framework: A Consistent and Flexible Framework for Measuring Test Coverage Supporting Multiple Programming Languages
Character String Predicate Based Automatic Software Test Data Generation
Testing Decomposition of Component Specifications Based on a Rule for Formal Verification
Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines
Co-evolution of Agent Oriented Conceptual Models and Use Case Diagrams
In-process Usability Problem Classification, Analysis and Improvement
A Methodological Framework for Evaluating Software Testing Techniques and Tools
Data Unpredictability in Software Defect-Fixing Effort Prediction
An Empirical Study on the Likelihood of Adoption in Practice of a Size Measurement Procedure for Requirements Specification
A Component-Based Authoring Tool and Script Language for MPEG-4
Develop Web Services for Reliable Cross-Platform Web Applications
A Framework for Extensible Component Customization for Component-based Software Development
A General Imperfect Software Debugging Model Considering the Nonlinear Process of Fault Introduction
Generating Small Combinatorial Test Suites to Cover Input-Output Relationships
Supporting Reliability Modeling and Analysis for Component-Based Software Architecture: An XML-Based Approach
Design Patterns for Agent-Based Service Composition in theWeb
Program Debugging Using Constraints - Is it Feasible?
Scalable Enterprise Level Workflow Manager for the Grid
Software Operational Profile Modeling and Reliability Prediction with an Open Environment
Designing Activities for Learning Software Quality Practices
A Simulation Study on Some Search Algorithms for Regression Test Case Prioritization
Considerations in Designing Human-Computer Interfaces for Elderly People
Co-evolution of i* Models and 3APL Agents
A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software
Generating, Selecting and Prioritizing Test Cases from Specifications with Tool Support
Evaluation and Research of Strong Migration of Mobile Agent for Exploiting Type Inference
An Approach to Measure Value-Based Productivity in Software Projects
Constructing a Reproducible Testing Environment for Distributed Java Applications
An Experiment with Algebraic Specifications of Software Components
Detecting Double Faults on Term and Literal in Boolean Expressions
Statistical Metamorphic Testing Testing Programs with Random Output by Means of Statistical Hypothesis Tests and Metamorphic Testing
Machine-Learning Techniques for Software Product Quality Assessment
Adaptive Interaction Fault Location Based on Combinatorial Testing
On Random Testing of Image Processing Applications
Adaptive Combinatorial Testing
Correctness-preserving synthesis for real-time control software
Trustworthiness Evaluation and Testing of Open Source Components
Fingertips Detection Algorithm Based on Skin Colour Filtering and Distance Transformation
Principles of Timing Anomalies in Superscalar Processors
A Preliminary Checklist for Software Cost Management
Evaluating Interrater Agreement with Intraclass Correlation Coefficient in SPICE-based Software Process Assessment
Towards Balancing Determinism, Memory Consumption and Throughput for RTSJ-Based Real-Time Applications
Distributed Software Engineering: a Rigorous Architectural Approach
A Test Case Generation Algorithm for Real-Time Systems
Targeting Security Vulnerabilities: From Specification to Detection (Short Paper)
Are Fault Failure Rates Good Estimators of Adequate Test Set Size?
A Comparison of Test Generation Algorithms for Testing Application Interactions
Using Feature Model to Support Model-Based Testing of Product Lines: An Industrial Case Study
Performance Evaluation Framework for Software Quality Engineering
Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications
Modularly Certified Dynamic Storage Allocation in SCAP
Generating Scenarios from Use Case Map Specifications
Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications
Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper)
Linux Bugs: Life Cycle and Resolution Analysis
Improved Delta Debugging Based on Combinatorial Testing
On the Impact of Design Flaws on Software Defects
BAM: A Requirements Validation and Verification Framework for Business Process Models
An Approach to Merge Results of Multiple Static Analysis Tools (Short Paper)
Interactive Specification and Verification of Behavioural Adaptation Contracts
Deriving Software Statistical Testing Model from UML Model
Non-homogeneous Inverse Gaussian Software Reliability Models
Efficient Refinement Checking for Model-Based Mutation Testing
Preferential Refinements of Abstract State Machines for Service Mediators
Dynamic Test Allocation Model for Software Reliability
Architecting Product Diversification - Formalizing Variability Dependencies in Software Product Family Engineering
Incremental Testing for Self-Evolving Timed Systems
An Object Oriented Approach towards Dynamic Data Flow Analysis (Short Paper)
A UML Heavyweight Extension for MAS Modeling
Selecting a High-Quality Central Model for Sharing Architectural Knowledge
CALDEA: A Data Quality Model Based on Maturity Levels
Building Automotive Software Component within the AutoSAR Environment - A Case Study
Backward-Slice-Based Statistical Fault Localization without Test Oracles
An Empirical Study of Bugs in Software Build Systems
A Methodology for Constructing Maintainability Model of Object-Oriented Design
History Heuristic Based Negotiation of Service Level Agreements for Composite Service
Assessing Dependability for Mobile and Ubiquitous Systems: Is there a Role for Software Architectures?
Implementing Service Collaboration Based on Decentralized Mediation
Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia
A Pattern-Based Constraint Description Approach for Web Services
Measuring Qualities for OSGi Component-Based Applications
Behavioral Verification of Distributed Concurrent Systems with BOBJ
From Applications, to Models and to Embedded System Code: A Modeling Approach in Action
Event Handler-Based Coverage for GUI Testing
Viewpoints Merging via Incrementally Elicited Ranked Structures
Towards a Control-Theoretical Approach to Software Fault-Tolerance
Incremental Identification of Categories and Choices for Test Case Generation: A Study of the Software Practitioners' Preferences
A Fault-Tolerant Strategy for Improving the Reliability of Service Composition
Model-Driven Design of Performance Requirements
Point-of-Interest Aware Test Case Prioritization: Methods and Experiments
Reducing the Size of Dynamic Slicing with Constraint Solving
An Agent-Based Middleware for Adaptive Systems
Formal and Model-Based Testing of Concurrent Workflows
Bounded Model Checking of Hybrid Automata Pushdown System
Supporting Tool for Embedded Software Testing
Automating Invariant Verification of Behavioral Specifications
A First Step Towards Formal Verification of Security Policy Properties for RBAC
Bottom-up Integration Testing with the Technique of Metamorphic Testing
An Indepth Study of Mirror Adaptive Random Testing
Mirror Adaptive Random Testing
Understanding and Classifying the Quality of Technical Forum Questions
Formal Fault Tree Analysis of State Transition Systems
Impacts of Test Suite's Class Imbalance on Spectrum-Based Fault Localization Techniques
SQuaRE-Aligned Data Quality Model for Web Portals
Exploring Model-Based Repositories for a Broad Range of Industrial Applications and Challenges
Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems
A Survey of Model-Driven Testing Techniques
NPE A Conceptual Model and Language for the Representation of Norms
On the Integration of Test Adequacy, Test Case Prioritization, and Statistical Fault Localization
A Comparison of Mutation Analysis Tools for Java
Developing a Feedback-Driven Automated Testing Tool for Web Applications
Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems
Using the Incremental Approach to Generate Test Sets: A Case Study
Identifying Data Inconsistencies Using After-State Database Testing (ASDT) Framework
An Incremental and FCA-Based Ontology Construction Method for Semantics-Based Component Retrieval
Exploring the Relationships between the Understandability of Architectural Components and Graph-Based Component Level Metrics
Design of BDI Agent for Adaptive Performance Testing of Web Services
Abstraction in Assertion-Based Test Oracles
An Approach for Fault Localization Based on Program Slicing and Bayesian
Mapping UML Activity Diagrams to Analyzable Petri Net Models
Black-Box Test Data Generation for GUI Testing
Greedy Heuristic Algorithms to Generate Variable Strength Combinatorial Test Suite
A Model-Driven Approach for Dependable Software Systems
ADAM: Web Anomaly Detection Assistant Based on Feature Matrix
RiTMO: A Method for Runtime Testability Measurement and Optimisation
Proposition for E-DoD: An Overall Plan for Network-Centric Operation
Asynchronous Semantics and Anti-patterns for Interacting Web Services
Fault Localization Based on Dynamic Slicing and Hitting-Set Computation
Isolating Suspiciousness from Spectrum-Based Fault Localization Techniques
Towards Automatic Measurement of Probabilistic Processes
Towards Goal-Oriented Design of Agent Systems
An Event-Driven Adaptive Differentiated Service Web Container Architecture
Design and Implementation of AADL Model Safety Assessment Tool
Government R&D Programs on Software Technology
CLPS-MFL: Using Concept Lattice of Program Spectrum for Effective Multi-fault Localization
Experiences in the Inspection Process Characterization Techniques
Formal Methods applied to Plywood Production
An Approach to Integrating Non-functional Requirements into UML Design Models Based on NFR-Specific Patterns
A Constraint-Oriented Approach to Software Architecture Design
Software Reliability Metrics Selecting Method Based on Analytic Hierarchy Process
An Adaptive Caching Mechanism for Web Services
A Unified Modeling and Verifying Framework for Cyber Physical Systems
The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking
Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator
An Automatic Performance Modeling Approach to Capacity Planning for Multi-service Web Applications
Data Quality Maintenance by Integrity-Preserving Repairs that Tolerate Inconsistency
Automatic Generation of Normal Forms for Testing Object-Oriented Software
A Test Data Generation Tool for Unit Testing of C Programs
Specification-Based Testing of Intrusion Detection Engines Using Logical Expression Testing Criteria
Towards the Application of Classification Techniques to Test and Identify Faults in Multimedia Systems
Using Supervisory Control to Synthesize Safety Controllers for Connected Spaces
Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach
A Data Mining-based Framework for GridWorkflow Management
Towards a Functional Size Measure for Object-Oriented Systems from Requirements Specifications
ColFinder Collaborative Concurrency Bug Detection
Early Usability Evaluation in Model Driven Architecture Environments
An Integrated Development Environment to Support the Multi-core Embedded Systems Development
Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011
Using Measures for Verifying and Improving Requirement Models in MDD Processes
Automated Program Verification Using Generation of Invariants
Does Adaptive Random Testing Deliver a Higher Confidence than Random Testing?
Fifth International Conference on Quality Software (QSIC 2005), 19-20 September 2005, Melbourne, Australia
Metrics and Evolution in Open Source Software
Towards a Software Component Certification Framework
Automated Conformance Verification of Hybrid Systems
Towards Optimising Non-functional Requirements
Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using Galileo
On a New Detecting Technique for Conjunctive Literal Insertion Fault in Boolean Expressions
The Value of Software Documentation Quality
Performance Prediction of WS-CDL Based Service Composition
A Verification-Centric Software Development Process for Java
Empirical Study on the Effect of a Software Architecture Representation's Abstraction Level on the Architecture-Level Software Understanding
A Boundary Checking Technique for Testing Real-Time Systems Modeled as Timed Input Output Automata (Short Paper)
A Service Workflow Management Framework Based on Peer-to-Peer and Agent Technologies
Estimation of Uncertainty in Application Profiles
Leveraging Method Call Anomalies to Improve the Effectiveness of Spectrum-Based Fault Localization Techniques for Object-Oriented Programs
State of the art in testing components
Increasing System Availability with Local Recovery Based on Fault Localization
2014 14th International Conference on Quality Software, Allen, TX, USA, October 2-3, 2014
A Comparative Evaluation of Cache Strategies for Elastic Caching Platforms
Static Slicing for Pervasive Programs
Equational Approach to Formal Verification of SET
A Study on the Efficiency Aspect of Data Race Detection: A Compiler Optimization Level Perspective
Quantitatively Exploring Non-code Software Artifacts
Adaptive Random Testing Through Dynamic Partitioning
Uniform Selection of Feasible Paths as a Stochastic Constraint Problem
Message of the Program Chairs of STEV'07
Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture
On Reliability Analysis for Embedded Systems with AADL Behavior Model
PORTAM: Policy, Requirements and Threats Analyzer for Mobile Code Application
An Approach to Composing Multiple Component Implementations for Satisfying Quality Requirements
Peer Reviews in Real Life - Motivators and Demotivators
A Method of Generating Massive Virtual Clients and Model-based Performance Test
Synchronization of Multi-window Requests for Server-Side Regression Test of Web Applications
Model-Driven Software Measurement Framework: A Case Study
Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA
Industrial Strength Software and Quality: Software and Engineering at Siemens
Automatic Generation of Markov Chain Usage Models from Real-Time Software UML Models
A Certified Infinite Norm for the Implementation of Elementary Functions
Teaching Three Quality Assurance Techniques in Tandem - Lessons Learned
On the Relationship between Software Aging and Related Parameters (Short Paper)
Workflow-Based Modeling of Web Application and Automatically Generating Test Sequences
Towards Designing a Quality Software System for Mental Disease Treatment through Artistic Painting Therapy
Abstraction Based Domain Ontology Extraction for Idea Creation
Quality Assessment of Mission Critical Middleware System Using MEMS
Interactive Visualisation and Testing of Jini Services
A Neural Network Approach to Forecasting Computing-Resource Exhaustion with Workload
On the Collaborative Development of Para-Consistent Conceptual Models
Towards Adaptive Test Code Generation for Service Oriented Systems
Improving Service Diagnosis through Invocation Monitoring
Implementing Self-Adaptive Software Architecture by Reflective Component Model and Dynamic AOP: A Case Study
Learning Effective Oracle Comparator Combinations for Web Applications
AOP Based Trustable SLA Compliance Monitoring for Web Services
A Reflection Mechanism for Reusing Software Architecture
Intelligent Tool Based-Agent for Software Architecture Evaluation
Verifying Haskell Programs by Combining Testing and Proving
A New Method for Constructing Metamorphic Relations
Data Mining and Cyber Security
Formalizing Class Dynamic Software Updating
OPTIMA: An Ontology-Based PlaTform-specIfic software Migration Approach
How to Test Software for Optimal Software Reliability Assessment
JSCloud: Toward Remote Execution of JavaScript Code on Handheld Devices
Performance Analysis of a Composition of Middleware Patterns (Short Paper)
Towards the UML Evaluation Using Taxonomic Patterns on Meta-Classes
An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination
Evaluating Several Path-Based Partial Dynamic Analysis Methods for Selecting Black-Box Generated Test Cases
Experiences with PASS: Developing and Using a Programming Assignment aSsessment System
Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties
Architecture-Based Assessment of Software Reliability
A Hybrid Monitoring of Software Design-Level Security Specifications
Testability and Test Framework for Collaborative Real-Time Editing Tools
A Mobile Centered and Web Service Integrated Approach for Legacy eHealth Web Migration
A Systematic Framework for Evaluating Hyperlink Validity in Web Environments
Helping End-User Programmers "Engineer' Dependable Software
A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams
A Test Process Improvement Model for Embedded Software Developments
Using Design Pattern to Develop the Quality MSC Simulator Software in Performance Test for GSM and GPRS system
Spectrum-Based Fault Localization: Testing Oracles are No Longer Mandatory
A Cyber-physical Energy System Architecture for Electric Vehicles Charging Application
Object-Relational Database Metrics Formalization
A Bayesian Approach for the Detection of Code and Design Smells
Adaptive Random Testing
Domain Consistency in Requirements Specification
Evolutionary Generation of Whole Test Suites
A Mechanically Proved Development Combining B Abstract Systems and Spin
LTL Model Checking via Search Space Partition
Leveraging Performance and Power Savings for Embedded Systems Using Multiple Target Deadlines
General Optimization Strategies for Refining the In-Parameter-Order Algorithm
Automatic Checking of Quality Best Practices in Software Development Documents
Optimizing Multi-objective Evolutionary Algorithms to Enable Quality-Aware Software Provisioning
Emulation of Cloud-Scale Environments for Scalability Testing
Using Knowledge Management to Improve Software Process Performance in a CMM Level 3 Organization
Evaluating Web Service Quality Using Finite State Models