Measuring and Modeling Usage and Reliability for Statistical Web Testing
IEEE Transactions on Software Engineering - Special section on the seventh international software metrics symposium
ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems
Software Quality Control
Verification and Validation of Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Testing an Intentional Naming Scheme Using Genetic Algorithms
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A search-based automated test-data generation framework for safety-critical systems
Systems engineering for business process change
A static measure of a subset of intra-procedural data flow testing coverage based on node coverage
CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
A case study in the use of defect classification in inspections
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
Implicit Functionality and Multiple Branch Coverage (IFMB): a Testability Metric for RT-Level
ITC '01 Proceedings of the 2001 IEEE International Test Conference
An Approach to Testing COTS Software for Robustness to Operating System Exceptions and Errors
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
TestEra: A Novel Framework for Automated Testing of Java Programs
Proceedings of the 16th IEEE international conference on Automated software engineering
Limitations of empirical testing technique knowledge
Lecture notes on empirical software engineering
The data mining approach to automated software testing
Proceedings of the ninth ACM SIGKDD international conference on Knowledge discovery and data mining
Reviewing 25 Years of Testing Technique Experiments
Empirical Software Engineering
WebUml: reverse engineering of web applications
Proceedings of the 2004 ACM symposium on Applied computing
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
Proceedings of the 26th International Conference on Software Engineering
Test input generation with java PathFinder
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
TestEra: Specification-Based Testing of Java Programs Using SAT
Automated Software Engineering
Importance of software component characterization for better software reusability
ACM SIGSOFT Software Engineering Notes
A framework and tool supports for generating test inputs of AspectJ programs
Proceedings of the 5th international conference on Aspect-oriented software development
Generic program monitoring by trace analysis
Theory and Practice of Logic Programming
Perspectives on automated testing of aspect-oriented programs
Proceedings of the 3rd workshop on Testing aspect-oriented programs
Decimal floating-point in z9: an implementation and testing perspective
IBM Journal of Research and Development
Parallel test generation and execution with Korat
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
A test framework for integration testing of object-oriented programs
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications
A learning support tool for testing Java programs
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
A user-oriented reliability modelling approach for web systems
International Journal of Web Engineering and Technology
TEST: an effective automation tool for testing embedded software
ICCOMP'05 Proceedings of the 9th WSEAS International Conference on Computers
Proceedings of the 10th annual conference companion on Genetic and evolutionary computation
Finding errors in .net with feedback-directed random testing
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Defect classification and defect types revisited
DEFECTS '08 Proceedings of the 2008 workshop on Defects in large software systems
Deriving Input Partitions from UML Models for Automatic Test Generation
Models in Software Engineering
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Experiences with model inference assisted fuzzing
WOOT'08 Proceedings of the 2nd conference on USENIX Workshop on offensive technologies
Evaluating the security of mobile agent platforms
Autonomous Agents and Multi-Agent Systems
Whispec: white-box testing of libraries using declarative specifications
LCSD '07 Proceedings of the 2007 Symposium on Library-Centric Software Design
Quality optimisation in engineering simulations software
International Journal of Computer Applications in Technology
Reducing the Costs of Bounded-Exhaustive Testing
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
An automated procedure for identifying poorly documented object oriented software components
C3S2E '09 Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering
Automatic mining of functionally equivalent code fragments via random testing
Proceedings of the eighteenth international symposium on Software testing and analysis
Finding min-repros in database software
Proceedings of the Second International Workshop on Testing Database Systems
Information and Software Technology
Test case prioritization based on data reuse an experimental study
ESEM '09 Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement
Using heuristic search for finding deadlocks in concurrent systems
Information and Computation
An intermediate representation approach to reducing test suites for retargeted compilers
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Information flow testing: the third path towards confidentiality guarantee
ASIAN'07 Proceedings of the 12th Asian computing science conference on Advances in computer science: computer and network security
Towards a unified fault-detection benchmark
Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Randomized constraint solvers: a comparative study
Innovations in Systems and Software Engineering
Memory efficient state-space analysis in software model-checking
ACSC '10 Proceedings of the Thirty-Third Australasian Conferenc on Computer Science - Volume 102
Rethinking the economics of software engineering
Proceedings of the FSE/SDP workshop on Future of software engineering research
Linguistic security testing for text communication protocols
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Where are my intelligent assistant's mistakes? a systematic testing approach
IS-EUD'11 Proceedings of the Third international conference on End-user development
PSO based pseudo dynamic method for automated test case generation using interpreter
ICSI'11 Proceedings of the Second international conference on Advances in swarm intelligence - Volume Part I
Aspects-classes integration testing strategy: an incremental approach
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Software testing process automation based on UTP – a case study
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Reliability of feedback fechanism based on root cause defect analysis-case study
Annales UMCS, Informatica
Symstra: a framework for generating object-oriented unit tests using symbolic execution
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Verifiable coverage criteria for automated testing
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Efficient regression testing of ontology-driven systems
Proceedings of the 2012 International Symposium on Software Testing and Analysis
The Validity and Effectiveness of a Business Game Beta Test
Simulation and Gaming
Diversity maximization speedup for fault localization
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Defect data analysis as input for software process improvement
PROFES'12 Proceedings of the 13th international conference on Product-Focused Software Process Improvement
Efficiently generating structurally complex inputs with thousands of objects
ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming
Human performance regression testing
Proceedings of the 2013 International Conference on Software Engineering
Hi-index | 0.00 |