|
IEEE Transactions on Software Engineering
Click on article title to view & purchase. Articles are sorted by their publication date in reverse chronological order.
Total result: 254 articles |
Page 1 of 4
|
Automatic extraction of heap reference properties in object-oriented p... May 01, 2009
CHARMY: a framework for designing and verifying architectural specific... May 01, 2009
Identification of move method refactoring opportunities. May 01, 2009
The impact of lessons-learned sessions on effort estimation and uncert... May 01, 2009
Synthesis of partial behavior models from properties and scenarios. May 01, 2009
Variability and reproducibility in software engineering: a study of fo... May 01, 2009
What types of defects are really discovered in code reviews? May 01, 2009
CoMoM: efficient class-oriented evaluation of multiclass performance m... March 01, 2009
State-density functions over DBM domains in the analysis of non-Markov... March 01, 2009
Automated trace analysis of discrete-event system models. March 01, 2009
Model checking timed and stochastic properties with [CSA.sup.TA]. March 01, 2009
Linear and branching system metrics. March 01, 2009
Compositional dependability evaluation for STATEMATE. March 01, 2009
An investigation into the functional form of the size-defect relations... March 01, 2009
Predicting project velocity in XP using a learning dynamic Bayesian ne... January 01, 2009
Optimized resource allocation for software release planning. January 01, 2009
Linking model-driven development and software architecture: a case stu... January 01, 2009
Engineering privacy. January 01, 2009
Compositional control of IP media. January 01, 2009
Atomicity analysis of service composition across organizations. January 01, 2009
Bayesian network models for web effort prediction: a comparative study... November 01, 2008
Dynamic QoS adaptation for mobile middleware. November 01, 2008
The effectiveness of software diversity in a large population of progr... November 01, 2008
An empirical study on the relationship among software design quality, ... November 01, 2008
The impact of educational background on the effectiveness of requireme... November 01, 2008
A study of uncertainty in software cost and its impact on optimal soft... November 01, 2008
A systematic study of failure proximity. November 01, 2008
Timed automata patterns. November 01, 2008
Metrics for measuring the quality of modularization of large-scale obj... September 01, 2008
Goal-centric traceability: using virtual plumblines to maintain critic... September 01, 2008
DeMIMA: a multilayered approach for design pattern identification. September 01, 2008
Static specification mining using automata-based abstractions. September 01, 2008
Constructing interaction test suites for highly-configurable systems i... September 01, 2008
Interface grammars for modular software model checking. September 01, 2008
Delta Execution for efficient state-space exploration of object-orient... September 01, 2008
Discovering neglected conditions in software by mining dependence grap... September 01, 2008
Asking and answering questions during a programming change task. July 01, 2008
Evaluating test suites and adequacy criteria using simulation-based mo... July 01, 2008
Analogy-X: providing statistical inference to analogy-based software c... July 01, 2008
Benchmarking classification models for software defect prediction: a p... July 01, 2008
Do crosscutting concerns cause defects? July 01, 2008
An empirical study on views of importance of change impact analysis is... July 01, 2008
Enhancing an application server to support available components. July 01, 2008
Model-based adaptation of behavioral mismatching components. July 01, 2008
Towards self-stabilizing operating systems. July 01, 2008
Estimation of defects based on defect decay model: E [D.sup.3] M. May 01, 2008
A realistic empirical evaluation of the costs and benefits of UML in s... May 01, 2008
Performance model estimation and tracking using optimal filters. May 01, 2008
Aspectual feature modules. March 01, 2008
The effect of pairs in program design tasks. March 01, 2008
Classifying software changes: clean or buggy?. March 01, 2008
The impact of employee participation on the use of an electronic proce... March 01, 2008
Problem oriented software engineering: solving the package router cont... March 01, 2008
The role of deliberate artificial design elements in software engineer... March 01, 2008
Software architecture visualization: an evaluation framework and its a... March 01, 2008
A state-of-the-practice survey of risk management in development with ... March 01, 2008
Using the conceptual cohesion of classes for fault prediction in objec... March 01, 2008
On the distribution of software faults. March 01, 2008
Security requirements engineering: a framework for representation and ... January 01, 2008
On the need for mixed media in distributed requirements negotiations. January 01, 2008
Call-stack coverage for GUI test suite reduction. January 01, 2008
Applying formal methods to a certifiably secure software system. January 01, 2008
WASP: protecting web applications using positive tainting and syntax-a... January 01, 2008
Provable protection against web application vulnerabilities related to... January 01, 2008
Semantics-based design for secure web services. January 01, 2008
Privately finding specifications. January 01, 2008
Analyzing regulatory rules for privacy and security requirements. January 01, 2008
On the detection of test smells: a metrics-based approach for general ... December 01, 2007
API-evolution support with Diff-CatchUp. December 01, 2007
Improving the usability of e-commerce applications using business proc... December 01, 2007
Tranquility: a low disruptive alternative to quiescence for ensuring s... December 01, 2007
MNav: a Markov model-based web site navigability measure. December 01, 2007
Hierarchical clustering for software architecture recovery. November 01, 2007
Change distilling: tree differencing for fine-grained source code chan... November 01, 2007
Guidelines for eliciting usability functionalities. November 01, 2007
|