QAGuild

General

1. Intelligent Life Cycle Series.
2. Top Ten Things to Know about data protection.
3. Getting Requirements Right in the Analysis Phase.
4. QEngine Web Functional Evaluation Guide.
5. Managing the Deployment of ERP Systems in the Publishing Domain.
6. Information Technology Risk Management.
7. Architecture centered ERP Systems in the Manufacturing Domain.
8. Influence of IT Strategy.
9. Mission critical software architecture, system design, Business and Software Process Development.
10. Intelligently Manage your ISP Certification.
11. Pre-Testing Disaster Recovery and Business Continuity Plans (The Network Simulation Solution).
12. SQL Server 2008, Server Consolidation with SQL 2008.
13. Will Your HACCP Foundation Crumble ?

Software Testing

1. GUI Testing Interface.
2. Sample software system test plan for a new application
3. Load / Stress Testing of Websites.
4. The Benefits of Outsourced Testing:
5. Software Testing Best Practices:
6. Test Driven development in Enterprise Integration.
7. Building Maintainable Test Cases with QEngine.
8. Automating Dynamic Web Application with QEngine.
9. Performance Testing Report Analysis.
10. Performance Test Best Practice Whitepapers.
11. Business Rules Based Test Automation, A Novel Approach for Accelerated Testing:
12. Test Automation for Effective Post Deployment Testing:
13. Realizing Business Value with A Testing Center of Excellence.
14. Operational Excellence through Efficient Software Testing Metrics.
15. Capacity Planning for Testing Web-Sites:
16. Test Result Reporting:
17. Ten Steps to Building Software Test Automation That Works.
18. Test Framework Architecture Data Vs Code:
19. Why Conventional Business Methods are not Equipped to Handle Business Rules Implementation:
20. Clever Track (Tool for Controlling the Quality of Software Projects).
21. Test Effort Estimation:
22. Meeting Strategic Challenges Through Effective Software Testing:
23. Improving the Maintainability of Automated Test Suites.
24. Software Test Automation Myths and Facts.
25. Test Automation Snake Oil.
26. About the Return on Investment of Test Driven Development:
27. Evolution of Test and Code Via Test First Design.
28. Estimating Tester to Developer Ratios.
29. The continuing Evolution on Software Testing.
30. Risk Based Testing, Differing the Right Bugs.
31. IPL Testing Tools and FDA General Principle of Software Validation.
32. Totally Data Driven Automation Testing.
<
33. Understanding Full Virtualization, Paravirtualisation, and Hardware assist.
34. GUI Testing Interface.
35. Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs
36. A Tool for Reverse Engineering Class Usage Scenarios from Method Invocation Sequences
37. Automatic Identification of Common and Special Object-Oriented Unit Tests
38. Helping Users Avoid Bugs in GUI Applications
39. A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution
40. Automated Test Generation for AspectJ Programs
41. Computing Refactorings of Behavior Models To appear in Proc
42. On Obligations Proc. 10th European Symp. on Research in Computer Security , Springer LNCS
43. One Evaluation of Model-Based Testing and its Automation
44. Construct Multiple Unique Input/Output Sequences Using Metaheuristic Optimisation Techniques
45. Branch-coverage testability transformation for unstructured programs
46. "Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact"
47. "Profiling Deployed Software: Assessing Strategies and Testing Opportunities"
48. "Leveraging User Session Data to Support Web Application Testing"
49. "Selecting a Cost-Effective Test Case Prioritization Technique"
50. "On Test Suite Composition and Cost-Effective Regression Testing"
51. Testing from a Non-Deterministic Finite State Machine Using Adaptive State Counting
52. Testing conformance of a deterministic implementation to a non-deterministic stream X-machine
53. Using a minimal number of resets when testing from a finite state machine
54. On The Testability of SDL Specifications
55. Testability Transformation
56. ConSIT: A fully automated conditioned program slicer
57. Automated Software Testing with Inferred Program Properties
58. Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions.
59. Automatic Extraction of Sliced Object State Machines for Component Interfaces
60. Automatic Identification of Common and Special Object-Oriented Unit Tests
61. Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests
62. Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences.
63. Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests.
64. "Life-Cycle E-Commerce Testing with OO-TTCN-3"
65. Model Based Testing for Real--The Inhouse Card Case Study
66. Model Based Testing in Incremental System Development Journal of Systems and Software
67. An AGENDA for Testing Relational Database Applications
68. Coverage Metrics for continuous Function Charts
69. Abstractions for Model-Based Testing Proc.
70. Ontology-Based Personalized Search and Browsing
71. Mutually Enhancing Test Generation and Specification Inference
72. Exploiting Synergy between Testing and Inferred Partial Specifications.
73. Software Component Protocol Inference
74. A Comparative Study of Two Safe Regression Test Selection Techniques
75. Automated Software Engineering 2003
76. Automated Software Engineering 2003
77. Reformulating Software Engineering as a Search Problem
78. UIO Sequence Based Checking Sequences for Distributed Test Architectures
79. Using Candidates to test a Deterministic Implementation against a Non-deterministic Finite State Machine
80. "Understanding the Effects of Changes on the Cost-Effectiveness of Regression Testing Techniques"
81. " Quality Assurance under the Open Source Development Model "
82. Virtual Teaming: Studies in Distributed Pair Programming
83. "Can Fault-Exposure-Potential Estimates Improve the Fault Detection Abilities of Test Suites? "
84. " Test Case Prioritization: A Family of Empirical Studies "
85. Comparing test sets and criteria in the presence of test hypotheses and fault domains
86. Elemental Design Patterns: A Formal Semantics for Composition of OO Software Architecture
87. Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria?
88. Experience with Performance Testing of Software Systems: Issues, an Approach, and Case Study

Software Engineering 

1. Performance Engineering and Global Software Development.
2. Should Performance be an Integral Part of the SDLC.
3. Requirements Analysts Must Also Be Inventors
4. Applying Classification Techniques to Remotely Collected Program Execution Data
5. Alex Orso
6. Combining Static Analysis and Runtime Monitoring to Counter SQLInjection Attacks
7. Efficient and Precise Dynamic Impact Analysis Using ExecuteAfter Sequences
8. The Collective: A Cache-Based System Management Architecture
9. AMNESIA: Analysis and Monitoring for NEutralizing SQLInjection Attacks
10. MonDe: Safe Updating through Monitored Deployment of New Component Versions
11. Context-Sensitive Program Analysis as Database Queries
12. CloningBased ContextSensitive Pointer Alias Analysis Using Binary Decision Diagrams
13. Scaling Regression Testing to Large Software Systems
14. A Differencing Algorithm for Object-Oriented Programs
15. A Generic Instrumentation Framework for Collecting Dynamic Information
16. Classifying Data Dependences in the Presence of Pointers for Program Comprehension, Testing, and Debugging
17. Gammatella: Visualizing Program-Execution Data for Deployed Software
18. An Empirical Comparison of Dynamic Impact Analysis Algorithms
19. Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow
20. Managing Complexity in Software Development with Formally Based Tools
21. Contract-Checking Wrappers for C++ Classes
22. Alex Orso
23. Alex Orso
24. Alex Orso
25. Dynamic Module Replacement in Distributed Protocols
26. A Practical FlowSensitive and ContextSensitive C and C++ Memory Leak Detector
27. Program Synthesis from Formal Requirements Specifications Using APTS∗
28. Tracking Down Software Bugs Using Automatic Anomaly Detection
29. Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies
30. A Formal Approach to Component-Based Software Engineering: Education and Evaluation
31. Component-Based Systems1
32. Experience Report: Using RESOLVE/C++ for Commercial Software

Software Development 

1. Nine Best Practices the Software Management Framework.
2. The FreeBSD Project: A Replication Case Study of Open Source Development
3. Cost-Benefit Trade-Off Analysis using BBN for Aspect-Oriented Risk-Driven Development
4. Predicting Availability of Systems using BBN in Aspect-Oriented Risk-Driven Development (AORDD)
5. Precise Identification of Composition Relationships for UML Class Diagrams
6. Annotated Inclusion Constraints for Precise Flow Analysis
7. Robustness Testing of Java Server Applications
8. Parameterized Object Sensitivity for Points-to Analysis for Java
9. Robustness Testing of Java Server Applications
10. Automatic Test Factoring for Java
11. Using Predicate Fields in a Highly Flexible Industrial Control System
12. Javari: Adding Reference Immutability to Java
13. Static Deadlock Detection for Java Libraries
14. Eclat: Automatic Generation and Classification of Test Inputs
15. Eclat 1.1 Program Analysis Group * CSAIL * MIT
16. An overview ofJMLtools and applications
17. The Groupthink specification exercise
18. Fragment Class Analysis for Testing of Polymorphism in Java Software
19. Testing of Java Web Services for Robustness
20. Precise Call Graphs for C Programs with Function Pointers
21. Open Source Software Development:A Case Study of FreeBSD
22. Model Composition Directives
23. Managed Evolution of a Model Driven Development Approach to Software-based Solutions
24. A Software Engineering Research Repository
25. Design Patterns and Change Proneness:An Examination of Five Evolving Systems.
26. Understanding Change-proneness in OO Software through Visualization
27. Open XML Requirements Specifications,a Xylia based application
28. On the Description of Communications Between Software Components with UML
29. A Strategy for Efficiently Verifying Requirements Specifications Using Composition and Invariants
30. Fragment Class Analysis for Testing of Polymorphism in Java Software
31. Active Learning for Automatic Classification of Software Behavior
32. TRIPWIRE: Mediating Software Self-Awareness
33. Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow
34. Leveraging Field Data for Impact Analysis and Regression Testing
35. Improving Impact Analysis and Regression Testing Using Field Data
36. Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage
37. Understanding Data Dependences in the Presence of Pointers
38. Parameterized Object Sensitivity for Pointsto and SideEffect Analyses for Java
39. Precise Call Graph Construction in the Presence of Function Pointers
40. Constructing Precise Object Relation Diagrams
41. Edits in Xylia: Preserving the Validity of XML Documents
42. Edits in Xylia Validity Preserving Editing of XML Documents
43. A Technique for Specifying Interface Modules for Real-Time Systems
44. Requirements-based Monitors for Real-Time Systems
45. Interclass Testing of Object Oriented Software
46. Monitoring Deployed Software Using Software Tomography
47. Monitoring Deployed Software Using Software Tomography(PDF)
48. Interface Module Speci_cations for Real-time Systems
49. The Xylia Toolkit: Editing XML with Java
50. Pointsto Analysis for Java Using Annotated Constraints
51. Requirements-based Monitors for RealTime Systems
52. Deriving Real-Time Monitors From SystemRequirements Documentation
53. Requirements-based monitors for Real-Time Systems
54. Deriving Real-Time Monitors From System Requirements Documentation
55. Automated Testing of Real-Time Systems
56. An Easily Extensible Toolset for Tabular Mathematical Expressions
57. Visualization of Program-Execution Data for Deployed Software

Debugging

1. A New Hardware Monitor Design to Measure Data Structure-Specific Cache Eviction Information
2. Automatic Mining of Source Code Repositories to Improve Bug Finding Techniques
3. Combining Self-reported and Automatic Data to Improve Programming Effort Measurement
4. Efficient online computation of statement coverage
5. EMPS: An Environment for Memory Performance Studies
6. NUMA-Aware Java Heaps for Server Applications
7. Parallel Parameter Tuning for Applications with Performance Variability
8. Parallel Programmer Productivity: A Case Study of Novice Parallel Programmers
9. Recovering System Specific Rules from Software Repositories
10. Using Dynamic Tracing Sampling to Measure Long Running Programs
11. The University Of Arizona
12. The University Of Arizona
13. Data Centric Cache Measurement on the Intel Itanium 2 Processor
14. Using Hardware Counters to Automatically Improve Memory Performance
15. Using Information from Prior Runs to Improve Automated Tuning Systems
16. Resource Policing to Support Fine-Grain Cycle Stealing in Networks of Workstations
17. Automated Cluster-Based Web Service Performance Tuning
18. Bug Driven Bug Finders
19. Challenges in Measuring HPCS Learner Productivity in an Age of Ubiquitous Computing
20. Interactive Binary Instrumentation
21. Interactive Binary Instrumentation(PDF)
22. Studying Code Development for High Performance Computing: The HPCS Program
23. Unobtrusiveness and Efficiency in Idle Cycle Stealing for PC Grids
24. Running on the Bare Metal with GeekOS
25. The University Of Arizona
26. Simplifying and Isolating Failure-Inducing Input
27. Automated Debugging: Are We Close?

Validation

1. Combining Self-reported and Automatic Data to Improve Programming Effort Measurement
2. Parallel Programmer Productivity: A Case Study of Novice Parallel Programmers
3. Model Checking Autonomous Planners: Even the best laid plans must be verified
4. Model-Driven Software Verification
5. An Automated Verification Method for Distributed Systems Software Based on Model Extraction
6. A Case for Requirements Validation, by Mats Heimdahl.
7. From Models to Efficient Code: It's All in the Middle.
8. Tool Intensive Software Development: New Challenges for Verification, Validation, and Certification.
9. Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing.
10. Reducing Coverage Collection OverheadWith Disposable Instrumentation
11. Infrastructure Support for Controlled Experimentation with Software Testing and Regression Testing Techniques
12. An Empirical Study of Profiling Strategies forReleased Software and their Impact on Testing Activities
13. Anomalies as Precursors of Field Failures
14. ImprovingWeb Application Testing with User Session Data
15. Experimental validation of new software technology
16. Modeling dependability for a diverse set of stakeholders
17. What We Have Learned About Fighting Defects
18. Maintaining Software with a Security Perspective
19. Security Testing using a Susceptibility Matrix
20. An Automated Verification Method for Distributed Systems Software Based on Model Extraction
21. An Empirical Study of Tracing Techniques from a Failure Analysis Perspective
22. Modeling the Cost-Benefits Tradeoffs for Regression Testing Techniques
23. The Impact of Test Suite Granularity on the CostEffectiveness of Regression Testing
24. The Impact of Software Evolution on Code Coverage Information
25. Building an Experience Base for Software Engineering: A report on the first CeBASE eWorkshop
26. Building an Experience Base for Software Engineering: A report on the first CeBASE eWorkshop
27. Compiler Optimization Correctness by Temporal Logic

Regression Testing

1. Rapid .Crash Testing. for Continuously Evolving GUI-Based Software Applications
2. Call Stack Coverage for Test Suite Reduction
3. Automating regression testing for evolving GUI software
4. Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms

Embedded System Testing

1. Undergraduate Embedded System Education at Carnegie Mellon
2. Challenges In Deeply Networked System Survivability
3. Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms
4. Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems
5. Representing Design Tradeoffs in SafetyCritical Systems
6. Efficient Use of Invisible Registers in Thumb Code
7. Dynamic Coalescing for 16-bit Instructions
8. Exploiting Computation Reuse Cache to Reduce Energy in Network Processors
9. SENSS: Security Enhancement to Symmeteric Shared Memory Multiprocessors
10. Embedded System Security
11. Improving System Dependability with Functional Alternatives
12. Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees
13. Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems
14. Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks
15. Representing User Workarounds As A Component Of System Dependability
16. Computer Science Search
17. Using Architectural Properties to Model and Measure Graceful Degradation
18. Work-arounds, Make-work, and Kludges
19. A PERIOD-BASED GROUP MEMBERSHIP STRATEGY FOR NODES OF TDMA NETWORKS
20. CRITICAL MESSAGE INTEGRITY OVER A SHARED NETWORK
21. Problems Facing Group Membership Specifications for X-by-Wire Protocols
22. Software Defect Masquerade Faults in Distributed Embedded Systems
23. Elements of the Self-Healing System Problem Space
24. A Framework for Scalable Analysis and Design of System-wide Graceful Degradation in Distributed Embedded Systems

Software Security

1. Lazy Modular Upgrades in Persistent Object Stores
2. Ownership Types for Safe RegionBased Memory Management in RealTime Java
3. Ownership Types for Object Encapsulation
4. Ownership Types for Object Encapsulation
5. POPL 2003
6. Ownership Types for Safe Programming: Preventing Data Races and Deadlocks
7. Korat: Automated Testing Based on Java Predicates
8. Applying Practical Formal methods to the Specification and Analysis of Security Properties
9. An Algorithm for Strengthening State Invariants Generated from Requirements Specifications
10. Tools for constructing requirements specifications: The SCR toolset at the age of ten Museum and the Web 2005 Sessions:Abstracts

Software Requirements

1. Tools for constructing requirements specifications: The SCR toolset at the age of ten
2. Helping Analysts Trace Requirements: An Objective Look
3. A Metrics-Based Software Maintenance Effort Model
4. Text is Software Too
5. SEEWeb: Making Experimental Artifacts Available
6. Building a Requirement Fault Taxonomy: Experiences from a NASA Verification and Validation Research Project
7. Improving Requirements Tracing via Information Retrieval
8. valuating Individual Contribution Toward Group Software Engineering Projects

Formal Methods

1. Ten Commandments Revisited: A Ten-Year Perspective on the Industrial Application of Formal Methods
2. Can Small Museums Develop Compelling, Educational and Accessible Web Resources?
3. Copyright and Promotion: Oxymoron or Opportunity?
4. Grand Challenge 6 Workshop on Dependable Systems Evolution
5. Personalization Issues for Science Museum Websites and E-learning
6. The Development of Science Museum Websites: Case Studies
7. Report on BCS-FACS Christmas Meeting
8. Search Engines and Online Museum Access on the Web
9. Gender Issues and Museum Websites
10. FACS Away Day
11. FACS Christmas Meeting: The Verified Software Repository
12. Program Verification and Semantics: Further Work, Science Museum, London
13. FORTEST Network: Final meeting
14. Promotion and Copyright: Oxymoron or Opportunity?
15. FACS FACTS