publication

General

  1. Intelligent Life Cycle Series.
  2. Top Ten Things to Know about data protection.
  3. QEngine Web Functional Evaluation Guide.
  4. Managing the Deployment of ERP Systems in the Publishing Domain.
  5. Information Technology Risk Management.
  6. Architecture centered ERP Systems in the Manufacturing Domain.
  7. Influence of IT Strategy.
  8. Mission critical software architecture, system design, Business and Software Process Development.
  9. Intelligently Manage your ISP Certification.
  10. Pre-Testing Disaster Recovery and Business Continuity Plans (The Network Simulation Solution).
  11. 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. Business Rules Based Test Automation, A Novel Approach for Accelerated Testing:
  11. Realizing Business Value with A Testing Center of Excellence.
  12. Operational Excellence through Efficient Software Testing Metrics.
  13. Test Result Reporting:
  14. Ten Steps to Building Software Test Automation That Works.
  15. Test Framework Architecture Data Vs Code:
  16. Why Conventional Business Methods are not Equipped to Handle Business Rules Implementation:
  17. Clever Track (Tool for Controlling the Quality of Software Projects).
  18. Test Effort Estimation:
  19. Meeting Strategic Challenges Through Effective Software Testing:
  20. Software Test Automation Myths and Facts.
  21. Test Automation Snake Oil.
  22. About the Return on Investment of Test Driven Development:
  23. Evolution of Test and Code Via Test First Design.
  24. Estimating Tester to Developer Ratios.
  25. The continuing Evolution on Software Testing.
  26. IPL Testing Tools and FDA General Principle of Software Validation.
  27. Understanding Full Virtualization, Paravirtualisation, and Hardware assist.
  28. GUI Testing Interface.
  29. Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs
  30. Automatic Identification of Common and Special Object-Oriented Unit Tests
  31. Helping Users Avoid Bugs in GUI Applications
  32. A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution
  33. Automated Test Generation for AspectJ Programs
  34. Computing Refactorings of Behavior Models To appear in Proc
  35. Construct Multiple Unique Input/Output Sequences Using Metaheuristic Optimisation Techniques
  36. Branch-coverage testability transformation for unstructured programs
  37. "Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact"
  38. "Profiling Deployed Software: Assessing Strategies and Testing Opportunities"
  39. "Leveraging User Session Data to Support Web Application Testing"
  40. "Selecting a Cost-Effective Test Case Prioritization Technique"
  41. "On Test Suite Composition and Cost-Effective Regression Testing"
  42. Testing from a Non-Deterministic Finite State Machine Using Adaptive State Counting
  43. Testing conformance of a deterministic implementation to a non-deterministic stream X-machine
  44. Using a minimal number of resets when testing from a finite state machine
  45. On The Testability of SDL Specifications
  46. Testability Transformation
  47. ConSIT: A fully automated conditioned program slicer
  48. Automated Software Testing with Inferred Program Properties
  49. Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions.
  50. Automatic Extraction of Sliced Object State Machines for Component Interfaces
  51. Automatic Identification of Common and Special Object-Oriented Unit Tests
  52. Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests
  53. Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences.
  54. Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests.
  55. "Life-Cycle E-Commerce Testing with OO-TTCN-3"
  56. Mutually Enhancing Test Generation and Specification Inference
  57. Exploiting Synergy between Testing and Inferred Partial Specifications.
  58. Software Component Protocol Inference
  59. Automated Software Engineering 2003
  60. Automated Software Engineering 2003
  61. Reformulating Software Engineering as a Search Problem
  62. UIO Sequence Based Checking Sequences for Distributed Test Architectures
  63. Using Candidates to test a Deterministic Implementation against a Non-deterministic Finite State Machine
  64. "Understanding the Effects of Changes on the Cost-Effectiveness of Regression Testing Techniques"
  65. " Quality Assurance under the Open Source Development Model "
  66. Virtual Teaming: Studies in Distributed Pair Programming
  67. "Can Fault-Exposure-Potential Estimates Improve the Fault Detection Abilities of Test Suites? "
  68. " Test Case Prioritization: A Family of Empirical Studies "
  69. Comparing test sets and criteria in the presence of test hypotheses and fault domains
  70. Elemental Design Patterns: A Formal Semantics for Composition of OO Software Architecture
  71. Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria?
  72. Experience with Performance Testing of Software Systems: Issues, an Approach, and Case Study

 

Software Engineering 

  1. Applying Classification Techniques to Remotely Collected Program Execution Data
  2. Alex Orso
  3. Combining Static Analysis and Runtime Monitoring to Counter SQLInjection Attacks
  4. Efficient and Precise Dynamic Impact Analysis Using ExecuteAfter Sequences
  5. The Collective: A Cache-Based System Management Architecture
  6. AMNESIA: Analysis and Monitoring for NEutralizing SQLInjection Attacks
  7. MonDe: Safe Updating through Monitored Deployment of New Component Versions
  8. Context-Sensitive Program Analysis as Database Queries
  9. CloningBased ContextSensitive Pointer Alias Analysis Using Binary Decision Diagrams
  10. Scaling Regression Testing to Large Software Systems
  11. A Differencing Algorithm for Object-Oriented Programs
  12. A Generic Instrumentation Framework for Collecting Dynamic Information
  13. Classifying Data Dependences in the Presence of Pointers for Program Comprehension, Testing, and Debugging
  14. Gammatella: Visualizing Program-Execution Data for Deployed Software
  15. An Empirical Comparison of Dynamic Impact Analysis Algorithms
  16. Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow
  17. Contract-Checking Wrappers for C++ Classes
  18. Alex Orso
  19. Alex Orso
  20. Alex Orso
  21. Dynamic Module Replacement in Distributed Protocols
  22. A Practical FlowSensitive and ContextSensitive C and C++ Memory Leak Detector
  23. Tracking Down Software Bugs Using Automatic Anomaly Detection
  24. Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies
  25. A Formal Approach to Component-Based Software Engineering: Education and Evaluation
  26. Component-Based Systems1
  27. 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. Fragment Class Analysis for Testing of Polymorphism in Java Software
  30. Active Learning for Automatic Classification of Software Behavior
  31. TRIPWIRE: Mediating Software Self-Awareness
  32. Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow
  33. Leveraging Field Data for Impact Analysis and Regression Testing
  34. Improving Impact Analysis and Regression Testing Using Field Data
  35. Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage
  36. Understanding Data Dependences in the Presence of Pointers
  37. Parameterized Object Sensitivity for Pointsto and SideEffect Analyses for Java
  38. Precise Call Graph Construction in the Presence of Function Pointers
  39. Constructing Precise Object Relation Diagrams
  40. Edits in Xylia: Preserving the Validity of XML Documents
  41. Edits in Xylia Validity Preserving Editing of XML Documents
  42. A Technique for Specifying Interface Modules for Real-Time Systems
  43. Requirements-based Monitors for Real-Time Systems
  44. Interclass Testing of Object Oriented Software
  45. Monitoring Deployed Software Using Software Tomography
  46. Monitoring Deployed Software Using Software Tomography(PDF)
  47. Interface Module Speci_cations for Real-time Systems
  48. The Xylia Toolkit: Editing XML with Java
  49. Pointsto Analysis for Java Using Annotated Constraints
  50. Requirements-based Monitors for RealTime Systems
  51. Deriving Real-Time Monitors From SystemRequirements Documentation
  52. Requirements-based monitors for Real-Time Systems
  53. Deriving Real-Time Monitors From System Requirements Documentation
  54. Automated Testing of Real-Time Systems
  55. An Easily Extensible Toolset for Tabular Mathematical Expressions
  56. 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. Data Centric Cache Measurement on the Intel Itanium 2 Processor
  12. Using Hardware Counters to Automatically Improve Memory Performance
  13. Using Information from Prior Runs to Improve Automated Tuning Systems
  14. Resource Policing to Support Fine-Grain Cycle Stealing in Networks of Workstations
  15. Automated Cluster-Based Web Service Performance Tuning
  16. Bug Driven Bug Finders
  17. Challenges in Measuring HPCS Learner Productivity in an Age of Ubiquitous Computing
  18. Interactive Binary Instrumentation
  19. Interactive Binary Instrumentation(PDF)
  20. Studying Code Development for High Performance Computing: The HPCS Program
  21. Unobtrusiveness and Efficiency in Idle Cycle Stealing for PC Grids
  22. Running on the Bare Metal with GeekOS
  23. Simplifying and Isolating Failure-Inducing Input
  24. 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. Embedded System Security
  7. Improving System Dependability with Functional Alternatives
  8. Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees
  9. Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems
  10. Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks
  11. Representing User Workarounds As A Component Of System Dependability
  12. Using Architectural Properties to Model and Measure Graceful Degradation
  13. Work-arounds, Make-work, and Kludges
  14. A PERIOD-BASED GROUP MEMBERSHIP STRATEGY FOR NODES OF TDMA NETWORKS
  15. CRITICAL MESSAGE INTEGRITY OVER A SHARED NETWORK
  16. Problems Facing Group Membership Specifications for X-by-Wire Protocols
  17. Software Defect Masquerade Faults in Distributed Embedded Systems
  18. Elements of the Self-Healing System Problem Space
  19. 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. Tools for constructing requirements specifications: The SCR toolset at the age of ten Museum and the Web 2005 Sessions:Abstracts

 

Formal Methods

  1. Search Engines and Online Museum Access on the Web
  2. Gender Issues and Museum Websites