200 диссертаций по тестированию в свободном доступе с qahelp.net

200 диссертаций по тестированию

12 июня 2015 года на сайте qahelp.net была сделана запись “200 диссертаций по тестированию в свободном доступе”, полный текст которой публикую ниже. Страница была добавлена в закладки и на какое-то время забыта. Делая ревизию по закладкам обнаружил, что сайт, увы, недоступен стал (если кто знает – подскажите, по какой причине?). Но благодаря веб-архиву удалось восстановить содержимое – чем и делюсь, что бы каждому желающему не пришлось повторно проходить “квест”.

Примечание: некоторые ссылки ведут на 404 или “cannot find document in database”.

200 диссертаций по тестированию

Технологический институт Флориды (тот самый, в котором работает Сэм Канер) ведет библиографию диссертаций по тестированию. Мы отобрали для вас те, у которых есть электронная копия в свободном доступе.
Читать не перечитать — просто сокровище!

On the feasibility of using FSM approaches to test large web applications
Generation of tests from labeled event structures
An algebraic axiom environment for software testing (axenvironment)
Quality measurement and the utilisation of measurement results in a software development process
Test suite development using a structured framework
Formal models and analysis for software component interaction testing
Proposal for a software metrics-based critiquing system
A test planning system for functional validation of VHDL DSP models
A testing metric for designs modelled as hierarchical finite-state machines
Software comprehension: Theory and metrics
Software Design Based on Operational Modes
An infrastructure to support usability problem data analysis
A usability study of the Tksee software exploration tool
The variations in the use of I-CASE toolsets: a grounded theory approach
Mutation testing of hierarchical finite state machines in the Rational Rose Real Time toolset
Adaptive mode transition control architecture with an application to unmanned aerial vehicles
System-level fault diagnosis in the distributed PVM environment
Utilizing the notion of removable blocks to enhance program slicing algorithms
Safety verification conditions for software-intensive critical systems
Requirements engineering with use cases: A basis for software development
Using program slicing in software maintenance
Towards a regression test selection technique for message-based software integration
Efficient dynamic detection of input related software faults
Automatic testing of software with structurally complex inputs
Probabilistic Program Analysis for Software Component Reliability
The cat in the reaper: Usability testing of software instruction manuals
Reachability analysis and testing of asynchronous message-passing programs
Robustness testing of a distributed simulation backplane
Test driven development of embedded systems
Extending the constructive cost model through empirical defect modeling
A unique examination of the buffer overflow condition
The effectiveness of category-partition testing of object-oriented software
Conflict identification and resolution for software attribute requirements
Detection of faulty components in object-oriented systems using design metrics and a machine learning algorithm
A comprehensive framework for testing graphical user interfaces
Slicing-based coupling measurements
Process enhancement and database support for vehicle operational readiness reporting
Documentation and validation of the requirements specifications. An XML approach
Automatic generation of software test cases from formal specifications
A knowledge-based tool for regression testing
A software test plan generation approach for pedagogical purposes
An investigation into the determinants of software product development time
High-yield (fault-directed) approach to test suite evaluation
Generating test templates via automated theorem proving
High level test generation using software testing metrics
Inference in nonhomogeneous Poisson process models, with applications to software reliability
Introducing «FireWorks»: A tool for regression testing within the Smalltalk environment
On proportional sampling strategies in software testing
Knowledge-Based Program Understanding and Testing Assistant (KBPUTA)
Input validation testing: A system-level, early lifecycle technique
OCL exception handling
Implementation of the digital communication system in the F/A-18 aircraft
Test methodology for SRAM based FPGAs
Traceability in object-oriented quality engineering: A basis for regression analysis of object-oriented software
A Software Testing and Reliability Early Warning (STREW) metric suite
Safe software components
A measure for module cohesion
The Validation by Measurement Theory of Proposed Object-Oriented Software Metrics
Compiling with proofs
Testing instances of design patterns
Program reliability estimation tool
Software system defect content prediction from development process and product characteristics
Metamodeling: Rapid design and evolution of domain-specific modeling environments
Cause-effect validation of requirements for distributed systems
Specification mutation for test generation and analysis
Using Discrete-Event Simulation to Address the Probe Effect in Software Testing of Real-Time Distributed Systems
Enhancing software reliability with speculative threads
QUIM map: A repository for usability/quality in use measurement
Domain testing: Divide and conquer
Expert systems and test-plan generation
Development of decision support system for reliability
Achieving usability via design architecture and patterns: The things we implement that affect usability
Performance assertion checking
Predicting open-source software quality using statistical and machine learning techniques
Requirements-based design evaluation methodology
The use of data flow information for the selection and evaluation of software test data
Type qualifiers: Lightweight specifications to improve software quality
Analysis and quantification of test driven development approach
Issues in automation of checkpoint encoding for anti-random testing
Towards plug-and-play services: Design and validation using roles
An analysis of the difference in software project management practices between organizations registered to ISO 9001 and non-registered organizations
Coverage-directed validation of hardware models
Measuring inheritance coupling in object-oriented systems
A formal method for modeling and analysis of requirements for software
Automated construction of software behavior models
Safety-critical software testing in airborne systems: The modified condition/decision coverage criterion
A demand-driven approach for efficient interprocedural data flow analysis
Towards an integrated model for specifying and measuring quality in use
Reusable strategies for testing safety-critical systems
On the complete testing of simple safety-related software
Strategies for testing Web applications from the client side
Constructing black-box test suites for systems specified in Larch/C++
Testing multimedia software using Hybrid Control Flowgraph-Petri Net approach
A virtual RSNS direction finding antenna system
Key Success Factors for Keyword Driven Testing — LogiGear
Test automation snake oil
Helping everyday users find anomalies in data feeds
An implementation of the Schick-Wolverton and the Jelinski-Moranda software reliability models
A discipline of specification-based test derivation
Constraint-based feature validation
Analyzing infinite-state programs with abstract interpretation
Profile analysis techniques for observation-based software testing
An integrated testing and fault localization methodology for spreadsheet languages
A methodology and software environment for testing process model’s sequential predictions with protocols
Things that find bugs in the night
Managing software requirements: Organizational and political challenges
Integration of the Navy Tactical Environmental Database Service with the Joint Effects Model
Automating test generation for discrete event oriented real-time embedded systems
Efficient, effective regression testing using safe test selection techniques
Transformational approach to software reliability assessment
Dataflow analysis of software fragments
Stimulus response requirements specification notation: an empirically evaluated requirements specification notation.
Automatic generation of test cases and anticipated test outcome based on a tabular design specification
On mutation and data flow
Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statecharts
An Architecture-Based Software Reliability Model
Constructing Bayesian-network Models of Software Testing and Maintenance Uncertainties
Automated Regression Testing using DBT and Sleuth
Automatic Test Generation using Checkpoint Encoding and Antirandom Testing
Pythia: A regression test selection tool based on textual differencing
Using a Neural Network in the Software Testing Process
Testability in hardware/software codesign systems
Software testing and reliability growth models
Effectiveness testing of embedded user support for US army installation-level software
Factors influencing a personal software process
Reliability quantification of nuclear safety-related software
Testability-directed specification of communications software
Towards a proportional sampling strategy according to path complexity a simulation study
A study on test cases generation for object-oriented programs based on UML state diagram
Program-based, structural testing of shared memory parallel programs
Software test generation based on flow models
A formal specification-based approach to object-oriented software testing at the class level
An empirical study of the branch coverage of different fault classes
A generic timing test framework for multimedia software testing
Quality assurance of Web applications: A survey
Integration of model checking into software development processes
Operational profile specification, test case generation, and reliability estimation for modules
Software component interaction testing: Coverage measurement and generation of configurations
Formal metrics for quantitative assessment of the quality of expert systems
COM-tester [microform] : a script testing tool for MS COM
Specification-based regression testing measurement with risk analysis
Empirical studies of the effects of incorporating fault exposure potential estimates into a test data adequacy criterion
Test data generation for relational database applications
Enhancing traditional behavioral testing through program slicing
Extending white box testing to database applications
The impact of team software organizations on software quality and productivity
Role of Larch/C++ specifications in black-box testing of object-oriented software
A trace-driven simulator for palm OS devices
A study on reproducible testing for distributed multithreaded Java programs
Structured testing: Analysis and extensions
Pattern-based design and validation of communication protocols
A quantitative approach for analyzing the impact of tools on software productivity
Distributed sensor network software development testing through simulation
SafeJava: A unified type system for safe programming
Validating complex agent behavior
A use case driven validation framework and case study
Foundations for the run-time analysis of software systems
A Taxonomy of E-Commerce Risks and Failures
Culture and international usability testing the effects of culture in interviews
Tools to support a formal verification method for systems with concurrency and nondeterminism
Leveraging test measurements into proposing additional domain tests
Feature engineering of software systems
An open-source, extensible spacecraft simulation and modeling environment framework
A view-based system for eliciting software process models
The complex quality world: Developing quality management systems for software companies
Verification and validation in software product line engineering
Scenario-driven requirements engineering: Method and tool
An Automated Oracle for Verifying GUI Objects
Automated test system for ADSL equipment
Group branch coverage testing of multi-version software
Object-oriented program testing using formal requirements specification
QUIM editor: A tool for quality in use measurement
ADaPT: Adaptive development and prototyping technique
Applying formal methods to software testing
The effects of roles and personality characteristics on software development team effectiveness
Enhancing visibility of annotations of software artifacts
Advanced software engineering models for quality improvement
Managing multiple interdependencies in large scale software development projects
A load-dependency model for software reliability
Context-driven testing of object-oriented systems
Implementation of a three-group classification model using case-based reasoning
Early component-based reliability assessment using UML based software models
Assessing software metrics
Identifying the mechanisms driving code inspection costs and benefits
A distributed approach to passively gathering end-to-end network performance measurements
Generation of grey box use cases for personal communication systems using simple design machines
Web-CAT a Web-based center for automated testing
Detecting errors in software using a parameter checker: an analysis
Comparative study of synchronous remote and traditional in-lab usability evaluation methods
Axiomatic verification to enhance software reliability
Improved techniques for software testing based on Markov chain usage models
Automatic detection of software failures with hierarchical supervisors
Metrics-guided models and methods for cost and quality management of component-based software
Metria-Guided Quality Management for Component-Based Software Systems
Relational specification as a testing oracle
Automatic continuous testing to speed software development
The specification-based validation of Reliable Multicast Protocol: Problem report
A hierarchical approach to the formal verification of embedded systems using MDGs
Usability analysis of the channel application programming interface
A run-time environment for concurrent Ada software test analysis