Managing the software process
Interprocedural slicing using dependence graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Foundations of software testing: dependability theory
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Communications of the ACM
Communications of the ACM
Software visualization for debugging
Communications of the ACM
Verification of sequential and concurrent programs (2nd ed.)
Verification of sequential and concurrent programs (2nd ed.)
Performance testing of software systems
Proceedings of the 1st international workshop on Software and performance
A study in coverage-driven test generation
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Yesterday, my program worked. Today, it does not. Why?
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Regression test selection for Java software
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Automating Specification-Based Software Testing
Automating Specification-Based Software Testing
Program Verification
Software Verification and Validation: Realistic Project Approaches
Software Verification and Validation: Realistic Project Approaches
Compiler Specification and Verification
Compiler Specification and Verification
Art of Software Testing
The Mythical Man-Month: Essays on Softw
The Mythical Man-Month: Essays on Softw
Softwear Reliability
Software Reliability Engineered Testing
Software Reliability Engineered Testing
Replay and Testing for Concurrent Programs
IEEE Software
Evaluating Software Development Objectively
IEEE Software
What Is Software Testing? And Why Is It So Hard?
IEEE Software
Towards a Test-Ready Meta-model for Use Cases
Workshop of the pUML-Group held together with the «UML»2001 on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists
SALT - An Integrated Environment to Automate Generation of Function Tests for APIs
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
In-process metrics for software testing
IBM Systems Journal
Chapter I: Notes on structured programming
Structured programming
Software Engineering: A Practitioner's Approach
Software Engineering: A Practitioner's Approach
Teaching Automated Test Case Generation
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
A decision model for managing software development projects
Information and Management
Optimal Software Development: A Control Theoretic Approach
Information Systems Research
Systematic verification of multi-agent systems based on rigorous executable specifications
International Journal of Agent-Oriented Software Engineering
Adaptive random testing based on distribution metrics
Journal of Systems and Software
Software, software engineering and software engineering research: some unconventional thoughts
Journal of Computer Science and Technology
SteerBug: an interactive framework for specifying and detecting steering behaviors
Proceedings of the 2009 ACM SIGGRAPH/Eurographics Symposium on Computer Animation
A practical evaluation of spectrum-based fault localization
Journal of Systems and Software
OMA DM-based remote software fault management for mobile devices
International Journal of Network Management
Adding debugging support to the Prometheus methodology
Engineering Applications of Artificial Intelligence
A decision model for managing software development projects
Information and Management
No Code Required: Giving Users Tools to Transform the Web
No Code Required: Giving Users Tools to Transform the Web
Characterizing and predicting which bugs get fixed: an empirical study of Microsoft Windows
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Software reliability analysis and assessment using queueing models with multiple change-points
Computers & Mathematics with Applications
Randomized constraint solvers: a comparative study
Innovations in Systems and Software Engineering
Debugging as a Science, that too, when your Program is Changing
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic error correction of java programs
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Software testing process: a prescriptive framework
ACM SIGSOFT Software Engineering Notes
Exploiting software architecture to support requirements satisfaction testing
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Automatic testing environment for multi-core embedded software-ATEMES
Journal of Systems and Software
Adaptive random testing through iterative partitioning
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Program spectra analysis with theory of evidence
Advances in Software Engineering - Special issue on Software Quality Assurance Methodologies and Techniques
Automated verification and testing of user-interactive undo features in database applications
Software Testing, Verification & Reliability
A pointcut language for setting advanced breakpoints
Proceedings of the 12th annual international conference on Aspect-oriented software development
Executing and debugging UML models: an fUML extension
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
In commercial software development organizations, increased complexity of products, shortened development cycles, and higher customer expectations of quality have placed a major responsibility on the areas of software debugging, testing, and verification. As this issue of the IBM Systems Journal illustrates, there are exciting improvements in the underlying technology on all three fronts. However, we observe that due to the informal nature of software development as a whole, the prevalent practices in the industry are still immature, even in areas where improved technology exists. In addition, tools that incorporate the more advanced aspects of this technology are not ready for large-scale commercial use. Hence there is reason to hope for significant improvements in this area over the next several years.