* A Decentralized Self-Adaptation Mechanism for Service-Based Applications in the Cloud
* A Fluid Model for Layered Queueing Networks
* A Large-Scale Empirical Study of Just-in-Time Quality Assurance
* A Machine Learning Approach to Software Requirements Prioritization
* A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems
* A Second Replicated Quantitative Analysis of Fault Distributions in Complex Software Systems
* Abstracting Runtime Heaps for Program Understanding
* Active Learning and Effort Estimation: Finding the Essential Content of Software Effort Estimation Data
* Alloy Meets the Algebra of Programming: A Case Study
* Amorphous Slicing of Extended Finite State Machines
* An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software
* Assessing the Effectiveness of Sequence Diagrams in the Comprehension of Functional Requirements: Results from a Family of Five Experiments
* Automated API Property Inference Techniques
* Automated Behavioral Testing of Refactoring Engines
* Balancing Privacy and Utility in Cross-Company Defect Prediction
* Centroidal Voronoi Tessellations—A New Approach to Random Testing
* Characterizing Humans on Riemannian Manifolds
* Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support
* Compositional Verification for Hierarchical Scheduling of Real-Time Systems
* Coordination Breakdowns and Their Impact on Development Productivity and Software Failures
* Coverage Estimation in Model Checking with Bitstate Hashing
* Deep Hierarchies in the Primate Visual Cortex: What Can We Learn for Computer Vision?
* Deep Learning with Hierarchical Convolutional Factor Analysis
* EDZL Schedulability Analysis in Real-Time Multicore Scheduling
* Elaborating Requirements Using Model Checking and Inductive Learning
* Event Logs for the Analysis of Software Failures: A Rule-Based Approach
* Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking
* Generating Domain-Specific Visual Language Tools from Abstract Visual Specifications
* Graph Isomorphisms and Automorphisms via Spectral Signatures
* How Programmers Debug, Revisited: An Information Foraging Theory Perspective
* Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems
* Invariant Scattering Convolution Networks
* Keeping a Pan-Tilt-Zoom Camera Calibrated
* Learning Hierarchical Features for Scene Labeling
* Learning with Hierarchical-Deep Models
* Local versus Global Lessons for Defect Prediction and Effort Estimation
* Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String-Taint Analysis
* MADMatch: Many-to-Many Approximate Diagram Matching for Design Comparison
* Pair Programming and Software Defects--A Large, Industrial Case Study
* Proactive and Reactive Runtime Service Discovery: A Framework and Its Evaluation
* Ranking and Clustering Software Cost Estimation Models through a Multiple Comparisons Algorithm
* Reducing Features to Improve Code Change-Based Bug Prediction
* Representation Learning: A Review and New Perspectives
* Resource Management for Complex, Dynamic Environments
* Scaling Up Spike-and-Slab Models for Unsupervised Feature Learning
* Self-Management of Adaptable Component-Based Applications
* Self-Organizing Roles on Agile Software Development Teams
* Session Reliability of Web Systems under Heavy-Tailed Workloads: An Approach Based on Design and Analysis of Experiments
* Software Architecture Optimization Methods: A Systematic Literature Review
* Stacked Autoencoders for Unsupervised Feature Learning and Multiple Organ Detection in a Pilot Study Using 4D Patient Data
* Synthesizing Modal Transition Systems from Triggered Scenarios
* Test Case-Aware Combinatorial Interaction Testing
* The Effects of Test-Driven Development on External Quality and Productivity: A Meta-Analysis
* The Role of the Tester's Knowledge in Exploratory Software Testing
* Toward a Theory of Statistical Tree-Shape Analysis (HTML)
* Toward Comprehensible Software Fault Prediction Models Using Bayesian Network Classifiers
* Trends in the Quality of Human-Centric Software Engineering Experiments--A Quasi-Experiment
* Trustrace: Mining Software Repositories to Improve the Accuracy of Requirement Traceability Links
* USAC: A Universal Framework for Random Sample Consensus
* Using Dependency Structures for Prioritization of Functional Test Suites
* Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions
* Validating Second-Order Mutation at System Level
* Verifying Linearizability via Optimized Refinement Checking
* A Fluid Model for Layered Queueing Networks
* A Large-Scale Empirical Study of Just-in-Time Quality Assurance
* A Machine Learning Approach to Software Requirements Prioritization
* A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems
* A Second Replicated Quantitative Analysis of Fault Distributions in Complex Software Systems
* Abstracting Runtime Heaps for Program Understanding
* Active Learning and Effort Estimation: Finding the Essential Content of Software Effort Estimation Data
* Alloy Meets the Algebra of Programming: A Case Study
* Amorphous Slicing of Extended Finite State Machines
* An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software
* Assessing the Effectiveness of Sequence Diagrams in the Comprehension of Functional Requirements: Results from a Family of Five Experiments
* Automated API Property Inference Techniques
* Automated Behavioral Testing of Refactoring Engines
* Balancing Privacy and Utility in Cross-Company Defect Prediction
* Centroidal Voronoi Tessellations—A New Approach to Random Testing
* Characterizing Humans on Riemannian Manifolds
* Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support
* Compositional Verification for Hierarchical Scheduling of Real-Time Systems
* Coordination Breakdowns and Their Impact on Development Productivity and Software Failures
* Coverage Estimation in Model Checking with Bitstate Hashing
* Deep Hierarchies in the Primate Visual Cortex: What Can We Learn for Computer Vision?
* Deep Learning with Hierarchical Convolutional Factor Analysis
* EDZL Schedulability Analysis in Real-Time Multicore Scheduling
* Elaborating Requirements Using Model Checking and Inductive Learning
* Event Logs for the Analysis of Software Failures: A Rule-Based Approach
* Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking
* Generating Domain-Specific Visual Language Tools from Abstract Visual Specifications
* Graph Isomorphisms and Automorphisms via Spectral Signatures
* How Programmers Debug, Revisited: An Information Foraging Theory Perspective
* Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems
* Invariant Scattering Convolution Networks
* Keeping a Pan-Tilt-Zoom Camera Calibrated
* Learning Hierarchical Features for Scene Labeling
* Learning with Hierarchical-Deep Models
* Local versus Global Lessons for Defect Prediction and Effort Estimation
* Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String-Taint Analysis
* MADMatch: Many-to-Many Approximate Diagram Matching for Design Comparison
* Pair Programming and Software Defects--A Large, Industrial Case Study
* Proactive and Reactive Runtime Service Discovery: A Framework and Its Evaluation
* Ranking and Clustering Software Cost Estimation Models through a Multiple Comparisons Algorithm
* Reducing Features to Improve Code Change-Based Bug Prediction
* Representation Learning: A Review and New Perspectives
* Resource Management for Complex, Dynamic Environments
* Scaling Up Spike-and-Slab Models for Unsupervised Feature Learning
* Self-Management of Adaptable Component-Based Applications
* Self-Organizing Roles on Agile Software Development Teams
* Session Reliability of Web Systems under Heavy-Tailed Workloads: An Approach Based on Design and Analysis of Experiments
* Software Architecture Optimization Methods: A Systematic Literature Review
* Stacked Autoencoders for Unsupervised Feature Learning and Multiple Organ Detection in a Pilot Study Using 4D Patient Data
* Synthesizing Modal Transition Systems from Triggered Scenarios
* Test Case-Aware Combinatorial Interaction Testing
* The Effects of Test-Driven Development on External Quality and Productivity: A Meta-Analysis
* The Role of the Tester's Knowledge in Exploratory Software Testing
* Toward a Theory of Statistical Tree-Shape Analysis (HTML)
* Toward Comprehensible Software Fault Prediction Models Using Bayesian Network Classifiers
* Trends in the Quality of Human-Centric Software Engineering Experiments--A Quasi-Experiment
* Trustrace: Mining Software Repositories to Improve the Accuracy of Requirement Traceability Links
* USAC: A Universal Framework for Random Sample Consensus
* Using Dependency Structures for Prioritization of Functional Test Suites
* Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions
* Validating Second-Order Mutation at System Level
* Verifying Linearizability via Optimized Refinement Checking
No comments:
Post a Comment