ITnTSE001A Model of Data Warehousing Process Maturity
ITnTSE002A Theoretical and Empirical Analysis of the Role of Test Sequence Length in Software Testing for Structural Coverage
ITnTSE003An Autonomous Engine for Services Configuration and Deployment
ITnTSE004An Extensible Framework for Improving a Distributed Software System’s Deployment Architecture
ITnTSE005Aspectizing Java Access Control
ITnTSE006Aspect-Oriented Refactoring of Legacy Applications: An Evaluation
ITnTSE007Automated Abstractions for Contract Validation
ITnTSE008Automatic Detection of Unsafe Dynamic Component Loadings
ITnTSE009Automatically Generating Test Cases for Specification Mining
ITnTSE010Comparing Semi-Automated Clustering Methods for Persona Development
ITnTSE011Comparing the Defect Reduction Benefits of Code Inspection and Test-Driven Development
ITnTSE012Data Mining Techniques for Software Effort Estimation: A Comparative Study
ITnTSE013DEC: Service Demand Estimation with Confidence
ITnTSE014Defining and Evaluating a Measure of Open Source Project Survivability
ITnTSE015Evaluation and Measurement of Software Process Improvement—A Systematic Literature Review
ITnTSE016Exploiting Dynamic Information in IDEs Improves Speed and Correctness of Software Maintenance Tasks
ITnTSE017Exploiting the Essential Assumptions of Analogy-Based Effort Estimation
ITnTSE018Fault Localization for Dynamic Web Applications
ITnTSE019Forecasting Risk Impact on ERP Maintenance with Augmented Fuzzy Cognitive Maps
ITnTSE020GenProg: A Generic Method for Automatic Software Repair
ITnTSE021Input Domain Reduction through Irrelevant Variable Removal and Its Effect on Local, Global, and Hybrid Search-Based Structural Test Data Generation
ITnTSE022Invariant-Based Automatic Testing of Modern Web Applications
ITnTSE023Measuring Code Quality to Improve Specification Mining
ITnTSE024Model Checking Semantically Annotated Services
ITnTSE025Mutation-Driven Generation of Unit Tests and Oracles
ITnTSE026Oracles for Distributed Testing
ITnTSE027PerLa: A Language and Middleware Architecture for Data Management and Integration in Pervasive Information Systems
ITnTSE028Pointcut Rejuvenation: Recovering Pointcut Expressions in Evolving Aspect-Oriented Software
ITnTSE029QoS Assurance for Dynamic Reconfiguration of Component-Based Software Systems
ITnTSE030Random Testing: Theoretical Results and Practical Implications
ITnTSE031Reducing Unauthorized Modification of Digital Objects
ITnTSE032Scalable Differential Analysis of Process Algebra Models
ITnTSE033Schedule of Bad Smell Detection and Resolution: A New Way to Save Effort
ITnTSE034Software Development Estimation Biases: The Role of Interdependence
ITnTSE035Specifying Dynamic Analyses by Extending Language Semantics
ITnTSE036StakeRare: Using Social Networks and Collaborative Filtering for Large-Scale Requirements Elicitation
ITnTSE037vA UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems
ITnTSE038Work Item Tagging: Communicating Concerns in Collaborative Software Development
ITnTSE039Ant Colony Optimization for Software Project Scheduling and Staffing with an Event-Based Scheduler
ITnTSE040Empirical Principles and an Industrial Case Study in Retrieving Equivalent Requirements via Natural Language Processing Techniques
ITnTSE041Identifying and Summarizing Systematic Code Changes via Rule Inference
ITnTSE042Language-Independent and Automated Software Composition: The FeatureHouse Experience
ITnTSE043On Fault Representativeness of Software Fault Injection
ITnTSE044Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis
ITnTSE045Systematic Elaboration of Scalability Requirements through Goal-Obstacle Analysis
ITnTSE046Automated Behavioral Testing of Refactoring Engines
ITnTSE047Centroidal Voronoi Tessellations- A New Approach to Random Testing
ITnTSE048Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support
ITnTSE049How Programmers Debug, Revisited: An Information Foraging Theory Perspective
ITnTSE050Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems
ITnTSE051Toward Comprehensible Software Fault Prediction Models Using Bayesian Network Classifiers
ITnTSE052Using Dependency Structures for Prioritization of Functional Test Suites
ITnTSE053A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems
ITnTSE054Alloy Meets the Algebra of Programming: A Case Study
ITnTSE055Assessing the Effectiveness of Sequence Diagrams in the Comprehension of Functional Requirements: Results from a Family of Five Experiments
ITnTSE056Coordination Breakdowns and Their Impact on Development Productivity and Software Failures
ITnTSE057Elaborating Requirements Using Model Checking and Inductive Learning
ITnTSE058Resource Management for Complex, Dynamic Environments
ITnTSE059Self-Management of Adaptable Component-Based Applications
ITnTSE060Self-Organizing Roles on Agile Software Development Teams
ITnTSE061A Machine Learning Approach to Software Requirements Prioritization
ITnTSE062A Second Replicated Quantitative Analysis of Fault Distributions in Complex Software Systems
ITnTSE063Coverage Estimation in Model Checking with Bitstate Hashing
ITnTSE064Generating Domain-Specific Visual Language Tools from Abstract Visual Specifications
ITnTSE065Locating Need-to-Externalize Constant Strings for Software Internationalization with Generalized String-Taint Analysis
ITnTSE066Ranking and Clustering Software Cost Estimation Models through a Multiple Comparisons Algorithm
ITnTSE067Reducing Features to Improve Code Change-Based Bug Prediction
ITnTSE068Validating Second-Order Mutation at System Level
ITnTSE069Automated API Property Inference Techniques
ITnTSE070Compositional Verification for Hierarchical Scheduling of Real-Time Systems
ITnTSE071Software Architecture Optimization Methods: A Systematic Literature Review
ITnTSE072Test Case-Aware Combinatorial Interaction Testing
ITnTSE073The Role of the Tester’s Knowledge in Exploratory Software Testing
ITnTSE074Trustrace: Mining Software Repositories to Improve the Accuracy of Requirement Traceability Links
ITnTSE075A Fluid Model for Layered Queueing Networks
ITnTSE076A Large-Scale Empirical Study of Just-in-Time Quality Assurance
ITnTSE077Abstracting Runtime Heaps for Program Understanding
ITnTSE078An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software
ITnTSE079Event Logs for the Analysis of Software Failures: A Rule-Based Approach
ITnTSE080Local versus Global Lessons for Defect Prediction and Effort Estimation
ITnTSE081The Effects of Test-Driven Development on External Quality and Productivity: A Meta-Analysis
ITnTSE082Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solution
ITnTSE083What Industry Needs from Architectural Languages: A Survey
ITnTSE084Amorphous Slicing of Extended Finite State Machines
ITnTSE085EDZL Schedulability Analysis in Real-Time Multicore Scheduling
ITnTSE086Embedding Polychrony into Synchrony
ITnTSE087Proactive and Reactive Runtime Service Discovery: A Framework and Its Evaluation
ITnTSE088Synthesizing Modal Transition Systems from Triggered Scenarios
ITnTSE089Trends in the Quality of Human-Centric Software Engineering Experiments–A Quasi-Experiment
ITnTSE090Verifying Linearizability via Optimized Refinement Checking