Tao
Xie's
Software Engineering Research Links
[Feedback]
Reengineering
& Evolution
Software Visualization &
Information Exploration
Static
Program
Analysis
Dynamic
Program
Analysis
Architectural
Evolution
& Architecture
Model Checking & Formal Methods
Economics-Driven
Software
Engineering
Aspect-Oriented & Separation of
Concerns
(Strategic)
Software Quality Assurance
Software Process & Workflow
& Business Process Reengineering
Software
Product
Line
Software
Reuse
& Component-Based Software Development
Design Pattern & Framework
Requirement
& Specification
Real-Time/Embedded Systems &
Software
Software
Engineering
Over the Internet
Knowledge-Based
Software
Engineering / Software Engineering Data Mining
Empirical
Software
Engineering & Others
Software
Engineering
in General
Java
Resource Links
Software
Engineering in China
Future
of
Software Engineering (ICSE 2000)
Tao Xie's Software Engineering Reading
List
Software Engineering Awards
Software Engineering Academia Genealogy
(North America)
Academia Related to China and Software
Research Around the World
Software
Engineering Conferences
Software
Testing Researchers
Tao Xie's advice collection
Research
Labs in Software Engineering Industry
Reengineering
Home
Page GIT
Reengineering
Bibliography Reengineering
Reference
Documents
Reengineering Forum Resource
for
Soft Reengi, Soft Maint and Soft Evolution
Resource
for
Software Reengineering Community
Reverse
Engineering
Reverse
Engineering
and System Renovation - Bibliography
Reengineering
Resource Repository
Identifying
and
Analyzing Reusable Components in Maryland
Program
Understanding Tools Directory
Reengineering
Home
Page
Reverse
Engineering
RenaissanceWeb
Wikiki
Beach
Club list (discussions geared towards a common reverse
engineering software interchange format)
Knowledge Based Reverse Engineering
Knowledge-Based
Software
Process (Re)Engineering in USC
Component-Based
Software
Re-engineering
ReNews
- An electronic software reuse and Reengineering newsletter
Technical
Council on Software Engineering - Committee on Reverse Engineering
and
Reengineering
SEI
-ReEngineering
Reengineering
Patterns
page
Reengineering
Resources
Program-transformation.org
Reverse
Engineering Tool list Refactoring
Resources scgwiki
Software Evolution Related Research Groups:
U of Washington David Notkin's Research Page
UCSD
Bill Griswold's Software Evolution Lab Homepage Software
Evolution Tools
Virginia
Kevin Sullivian's Software Evolution Research Page
UBC
Gail Murphy's Software Evolution Research Page UBC
Software
Engineering Group UBC
Software
Practices Lab
MIT
Michael Ernst's Program Invariant Detection Page
Imperial
College's M. M. Lehman FEAST
Project-
Feedback, Evolution And Software Technology
SCG
P.U.R.E. - Program Understanding & ReEngineering @ U
Berne Software
Composition Group
Famoos - Framework-based Approach for Mastering Object-Oriented
Software Evolution @ U Berne Software
Composition
Group
CMU
SEI -ReEengineering
MIT Daniel Jackson's Software Design Research Page
Reverse
Engineering and Program Understanding at Georgia Tech by Spencer
Rugaber Evolution
&
Interleaving Project GIT
SE Aristotle
Program
Analysis Based Software Engineering By Mary
Jean Harrold
Maryland's
Adam Porter
Wisconsin
Program Slicing Project By Susan
Horwitz
& Thomas
Reps
Richard
C. Holt U. Toronto
UCI
Evolutionary Design of Complex Software (EDCS) by IRUS:
Irvine Research
Unit in Software
Brown's
Evolutionary Design of Complex Systems &
DESSERT Software
Visualization By Steve
Reiss
CMU
Bill
Scherlis's Research page
CMU's
SEI Reengineering
CMU's ACT:
Structural
reengineering of software CMU's
hopShop:
Reverse engineering tool for C.
MSU's
oftware Engineering and Network Systems Laboratory
Oregon's
Michael Young 's Perpetual
Testing
for complex, evolving systems
Austin's
Perry, Dewayne's Evolution
Research
ASU's
Gerald Gannod 's SERG
Paolo
Tonella Concept Analysis- Design Pattern Inference
FAMOOS SCG
/ FAMOOS / Reengineering Patterns
fujaba - Round Trip
Engineering with UML, SDM, Java and Design Patterns
Reverse
Engineering Tool list Refactoring
Resources scgwiki
Project
Bauhaus-Software
Architecture, Software Reengineering, and Program
Understanding
Bunch - a software clustering/modularization tool
CIAO
- a graphical navigator for software and document repositories
Distributed
Systems
Group Architecture
Recovery
Design Pattern Detection
Software Evolution at Wayne Univ.: Feature Location, Change Analysis
C++
Refectoring tool
Rutgers' Naftaly Minsky
U
Pitt Chris Kemerer
U Victoria Hausi Muller Jens
H. Jahnke SHriMP
Margaret-Anne
Storey
UCR Scott Tilley
U
Alberta Kenny Wong
The
Fujaba
Environment - Round Trip Engineering with UML, SDM, Java and
Desgin Patterns
Semantics-based
Program
Analysis and Manipulation Projects Worldwide, from CMU
Programming
Languages
Research Worldwide, from CMU
NORA/RECS-
Reengineering of Configuration Structures
Refactoring
Home Page
Refactoring
by
means of Ghost Variable By Robert
Lechner
U Mass Lowell
Holt
Group at the University of Toronto
Software
Evolution in Waterloo
Audris
Mockus Bell-lab Software Production Research
Department
Semantic
Designs, Inc. (SD) Reengineering Toolkit
The
Fujaba
Environment -Round Trip Engineering with UML, Java and
Design Patterns.(Available)
Software
Engineering Lab (SEL) CASE
Tools
Design
patterns and maintenance links Design
pattern
discovery
Refactoring
seminar
Research Institute for Software Evolution (RISE), University of
Durham,
England
Software
Evolution & Reuse Project
Software
evolution
and Decay in Bell Lab
(``Free'')
Tools
for software reengineering
UW/Microsoft
Summer
Research Institutes (focus on software development and
tools in recent two years)
Software
Engineering
Tools Research on Only $10 a Day
lecture slide by Bill Griswold (UCSD)'s
A
series of lectures in improving software development
Talk:
The
Gap Between Software Research and Practice by Jim Larus
U Michigan Course
U Michigan Software Evolution Planning
UCI
Institute for Software Research Events
Software
Evolution Workshop & Conference
The
First
International Workshop on REFactoring: Achievements,
Challenges, Effects (REFACE) 2003
Workshop on OO
Software Evolution and Reengineering at ECOOP 97
ESEC-FSE'97
Workshop
on Object-Oriented Reengineering (WOOR'97)
ESEC-FSE'99
Workshop
on Object-Oriented Reengineering (WOOR'99) Position
papers
International
Special Session on Formal Foundations of Software Evolution
International
Symposium on Principle of Software Evolution 2000
International
Workshop on the Principles of Software Evolution 1999
Workshop
on Engineering Complex Object-Oriented Systems for Evolution 2001
International
Workshop on Feedback and Evolution in Software and Business
Processes
2000
International
Conference on Software Maintenance (ICSM'2001)
8th Working Conference on Reverse Engineering (WCRE'2001)
Workshop
on Analysis, Slicing, and Transformation (AST'2001)
IEEE
International Workshop on Source Code Analysis and Manipulation
(SCAM'2001)
Second International
Workshop on Unanticipated Software Evolution (USE 2003)
First International
Workshop on Unanticipated Software Evolution (USE 2002)
Workshop
on Engineering Context-Aware Object-Oriented Systems and
Environments
(ECOOSE 2002)
Workshop
on Engineering Complex Object-Oriented Systems for Evolution (ECOOSE
2001)
2002
Workshop on Self-Healing Systems (WOSS02)
U Calgary Software Evolution course
ACM
SIGSOFT
Events
IEEE TCSE
Events
Software
Visualisation
Links
Jinsight- IBM Wim
De Pauw Gary
Sevitsky Program
Visualization
@ IBM
GRASP
(Graphical Representations for Algorithms, Structures, and
Processes)
@Auburn U.
Bloof is a tool
for visualizing the evolution of source code - bloof.sourceforge.net
Software
Visualization at tuwien
Stephan
Diehl The
GANIMAL Project Soft
Vis
course
Hot
Agent - visual component development environment to construct agents
for electronic commerce
Sable in Mcgill EVolve-
an
extensible software visualization framework
AVID-Component-based Visualization of the Execution of a Java System
@
UBC Gail
Murphy
Jitan- Parallel object-oriented programming and visualization
Stéphane
Ducasse Oscar
Nierstrasz Software
Composition Group Michele
Lanza
- Class Prints CodeCrawler
Tamar Richner-Hanna - Recovering Behavioral Design Views: a
Query-based
Approach
Tarja Systa - Static and Dynamic analysis of Java program
SCED
Visualization
of
Error Situations in Concurrent Java Programs
VisiVue
Java Software Visualization Tool
Juliet-
Java program comprehension
Java
Dynamic
Tool - Caffeine Papers
David
Lorenz papers
Drexel
U SE Group
David
A. Carr Sweden
Poet
(Partial-Order Event Tracer) - The Shoshin Debugger (U Waterloo)
Guard:
Relative
Debugger
GIT's John Stasko Software
Visualization
Project. Information
Interfaces
Research Group David
Zook
Graphics,
Visualization, and Usability Center (GVU)
Software
Visualization: PBS, the Portable Bookshelf. CPPX:
Open Source
C++ Fact Extractor Richard
C. Holt
Tarantula
-
Fault Localization via Visualization
Brown's
Evolutionary Design of Complex Systems & Manos
Renieris
DESSERT Software
Visulization By Steve
Reiss
Amnon
H. Eden Concordia U. Visualizing Architecture
UIUC's
Virtue
Project: Direct Software Manipulation
Eileen
Kraemer Exploratory
Visualization Mihail
Eduard
Tudoreanu
Program
Visualization
@ Michigan State U
SoftArch:
Static
and Dynamic Architecture Modelling, Visualiation and Analysis
CIAO
and
CIA A graphical navigator for software and web
repositories
Sarita
Bassil
Jean
Marie Favre
Software
DevelopMent Laboratory @ University of Memphis Jonathan
I.
Maletic
NASA
AIMS- Automated Instrumentation and Monitoring System Parallel
Tools Team
CHISEL
(Computer-Human Interaction and Software Engineering Lab) @ U.
Victoria Derek
Rayside
Shrimpviews
SHriMP
Margaret-Anne
Storey
Visualization
of
Error Situations in Concurrent Java Programs K.
Mehner
XML
Database Support for Program Trace Visualisation references
Christopher
David Hundhausen
Adaptive
Computation
Laboratory Karel
Driesen
Zeus-
Algorithm
Animation (DEC SRC)
ZADA-Zeus-based
animations
of distributed algorithms and communication protocols (U
Dortmund)
Class
Buleprint CodeCrawler
Michele Lanza
UCI
ProDAG- Program Dependence Analysis Graph System
CWI
Information Visualization Graph
Visualisation
and Navigation in Information Visualization Survey
Information
Visualization (Vis Research Group, U Durham)
RPI's
Interactive Graph Drawing
Diane
T. Rover PGRT
Project: Instrumentation and
Visualization for Design and Testing of Real-Time Systems
Exploring
Large Graphs in 3D Hyperbolic Space
The
Knowledge Discovery System - subdue @ UT Arlington
Sieve -A
Collaborative Interactive Modular Visualization Environment
Tools
for
graph visualization - summary
Propositional
Temporal
Transition Formulas (PTTF) Model Graph Generator (MGG)
graph-tools
Polaris
- Stanford
Graph Drawing Tools List
Visualization of Compiler Graphs Graph
Drawing
Tools and Related Work Call
Graph
Drawing Interface- A gprof VCG
Absint.com-aisee
AT&T's open source graph drawing software-graphviz
wingraphviz
AT&T's
Java
Grappa
AT&T's Montage
AT&T's
CIAO A Graphical Navigator for Software and Document
Repositories
AT&T
Visualization Group
DiaGen-
The
Diagram Editor Generator
OpenJGraph
(``Free'')
Tools
for software reengineering
Software
for
Visualization
Information
Visualization Links InfoVisu
Project
GNU
getopt
for Java
GXL:
Proposed Software Exchange Format. See also the WoSEF
web page.
OOPSLA
01
Workshop on Software Visualization
ICSE
01
Workshop on Software Visualization
VISSOFT
2002 -WORKSHOP ON VISUALIZING SOFTWARE FOR UNDERSTANDING AND
ANALYSIS
ACM
Symposium on Software Visualization 2003
Data
Visualization Workshop
Workshop
on Software and
Performance 2004
Workshop
on Software and Performance 2002
Workshop
on Software and Performance 2000
Workshop
on
Software and Performance 1998
C/C++
Program-Slicing
Buffer
Overrun detectiON - UCBerkeley
Splint (formerly
LClint): statically checking C programs virginia
Bounds
Checking for C (Imperial College)
Lackwit
-
context-sensitive alias
analysis of C program By Robert
O'Callahan CMU
The
SPAN Pointer Analysis Package - MIT
Star
Diagram Tool By
Bill Griswold
UCSD
CXREF
a C language cross referencing and documenting tool
NORA/RECS-
Reengineering of Configuration Structures
Gen++-Source
code analyzer generator for C++- UCDavis by Devanbu,
Prem
(Available)
Wisconsin
Program Slicing Tools CodeSurfer
page
MSR
SPA-Scalable Program Analysis
MSR
SLAM-Software (Specifications), Languages,
Analysis, and Model checking
MSR ESP-Error
Detection Via Scalable Program
Analysis
Open
Source Quality Project.
BANE:
The Berkeley
ANalysis Engine for constructing constraint-based program
analyses. By Alex
Aiken(UCB) Manuel
Fähndrich(MSR)
cqual-
Type Qualifier U Berkeley by Jeff
Foster cqual
Berkely
David Wagner's Application of
Static and Dynamic Program Analysis to to Computer Security
MSR
Sriram K. Rajamani's Model Checking
Rutgers's
Barbara Ryder PROLANGS-
PROgramming
LANGuageS research group
PROLANGS
Analysis Framework (PAF)
<
href="http://www.research.att.com/~ciao/">CIA
Program analysis tool for C programs. Developed at Bell Labs
VeriSoft
Automatic testing and state enumeration tool for C and C++ programs.
Developed
at Bell Labs
Intrinsa's PREfix
Unravel:A
program
slicing tool that can be used to statically evaluate ANSI C
source code
using program slicing
Java/C/C++
Reflexion
Model
Tool
By Gail
Murphy UBC
Lightweight
Source
Model
Extraction: Support the lightweight source model extraction approach
By
Gail
Murphy UBC
Program
Analysis Software tools
available for download in UCSD
Womble:
lightweight
tool for extracting
object models from Java bytecode
By Daniel
Jackson MIT
The
Java Modeling Language
<
href="http://www.research.att.com/sw/tools/chava/">Program
analysis tool for Java programs. Developed at Bell Labs- CHAVA
Alloy
Constraint
Analyzer-a tool for analyzing Alloy models
By Daniel
Jackson MIT
SUIF
Compiler Infrastructure- Stanford
The
Flex Program Analysis and
Compilation System - MIT Flex
compiler
Mulsaw
project
CoffeeStrainer
Barat
Boris
Bokowski
Ajax
-Discovering properties of Java programs
using static analysis of their Java bytecode
By Robert
O'Callahan CMU
Bandera-
Software model construction for finite-state verification of Java
JSpec
Specializer - A Partial Evaluator for Java
Extended Static
Checker for Java (ESC/Java) Cormac
Flanagan K.
Rustan
M. Leino
Argouml
- Java - UML
Lemme
VerifiCard Project
VerifiCard
Electronic
purse
Wuu
Yang
Software
tools from U Hawaii
Joseph
Roland Kiniry
Free
reverse
engineering software tools
Others:
Little-JIL
Semantic
Checker
PBS:
Software Bookshelf Tools for extracting and visualizing the
architecture of
programs
CIAO
and
CIA A graphical navigator for software and web
repositories
U
Mass Laser Tools
Refactoring
Browser
@UIUC
SCG
P.U.R.E. - Program Understanding & ReEngineering Toolset
Software
Composition Group
SHriMP
Margaret-Anne
Storey
Rigi -an
interactive, visual tool designed to help you
better understand and re-document your software
by Dr.
Hausi Müller. U
Victoria
IBM
Research's Frank Tip
Stanford Program
Analysis and Verification Group
TAL (typed
assembly language) by Greg
Morrisett
Cornell
UW
William Chan's Model Checking
TVLA-
A Three-Valued-Logic Analyzer
Semantic
Designs, Inc. (SD) Reengineering Toolkit
U
Mass Flavers for Ada
Semantics-based
Program
Analysis
and Manipulation Projects Worldwide, from CMU
Programming
Languages
Research
Worldwide, from CMU
Program
Slicing
page
Type-based
analysis and applications by Jens Palsberg
Algorithmic
and Automatic Debugging page
Software
Metrics
page
The
National Compiler Infrastructure Project
Message-driven
thread application programming interface (mdthread API) for Java
Downloadable
Parsing Tools:
C/C++:
PROLANGS
Analysis Framework (PAF)
The
SPAN Pointer Analysis Package - MIT
SableCC
EDG
C++ front-end
CPPX:
Open Source C++ Fact Extractor Richard
C.
Holt
GEN++
An application-generator to support development of analysis tools for
the C++
language
Unravel
slicing tool for C Project
REDO
project PRECCX
compiler
compiler tool
Arcadia
analysis
tools for Solaris
UCSD
analysis tools
C-Breeze
compiler infrastructure from the University of Texas
Vault
@MSR
Java:
Compaq
Research Software downloads
SUIF
Compiler Infrastructure- Stanford j2s:
A
front end for the (O)SUIF Compiler System
The
Flex Program Analysis and
Compilation System - MIT Flex
compiler
Soot:
a Java Optimization Framework Annotating
Java
Bytecode
JAnalyzer
Kopi
Java compiler
RecodeR
Framework
jDFA - The
Data-Flow Analysis Framework for Java
Jikes™
RVM
Jikes
Bytecode
Toolkit
Scale
- A Scalable Compiler for Analytical
Experiments
Recoder
- Java framework for source code metaprogramming
Barat
Compiler Infrastructure Introduction
BLOAT:
The Bytecode-Level Optimizer and Analysis Tool
Jarkata
U Texas Austin
Java
PathFinder
TVLA
Three-Valued-Logic
Analysis engine is a framework for static analysis
Jave Tree Builder
By
Jens Palsberg
Purdue
Java
Compiler Compiler
(JavaCC)
JLex
- A Lexical Analyzer Generator for Java
CUP
Parser Generator for Java
JFlex
- The Fast Scanner Generator for Java
Jakarta
- ant
ANTLR
Java
Instrumentation Engine Design
document compares above four parsing tools
Wasp
static analysis tool for Java waspsoft
Javad:
A Java Class File Disassembler
Bandera
for Java
Jlint
for Java Cyrille
Artho
GNU Java
Compiler
Barat 1.3 - A
Compiler Front-End for
Java
JavaML-An
XML-based Source Code
Representation for Java Programs
Program
understanding tool - bunch
Drexel
JCAT-
A
Deadlock Analysis Tool for Java Programs
tools
YAV:
A
Formal Verification Software for Java tools
Java
Analysis, Optimization and Implementation References
Program
Analysis Links
Java
development
tool list
Java
class
file optimizers and compression tools
Java
Analyzer
(proof of concept)
Java
Compiler/VM Software and Tools
doclet
doctorj
- Diagnoses errors in Javadoc and Java code
Recoder
- Java framework for source code metaprogramming
Dependency
Finder - extract class dependencies from compiled Java code
Lists
of
Java dependency analyzers
Jex
- A Tool for Analyzing Exception Flow in Java Programs
JDepend
download
The
MiniJava Project
Declarative
Meta Programming pages, and the SOUL
JQuery
Analysis
tool
lists
AT&T
tools
Exchange
Formats for Information Extracted from Computer Programs
Visualization
of
Compiler
Graphs- Graph Drawing Tools
Call Graph
Drawing Interface- A gprof VCG
Bultan
tools
(``Free'')
Tools
for software reengineering
CASE
Tool Index
CASE
Vender
Index
Slicing
tool
list
Program
Understanding Tools Directory Reengineering
Resource
Repository
Reverse
Engineering Tool list Refactoring
Resources scgwiki
Java
Analysis, Optimization and Implementation References
Program
Analysis Links
8th International Static
Analyis Symposium (SAS'01)
Microsoft
Research
Manuvir
Das
AT&T Lab
Research Yih-Farn
Robin
Chen
Bell-lab Software
Production Research Department Audris
Mockus
Manuvir
Das
(Microsfot Research)'s Static
Analysis
of
Large Programs: Some Experiences (html
version)
Tom Reps (Univ.
Wisconsin)'s Static
Analysis
for Software-Engineering Tools lecture slide
Bill Griswold
(UCSD)'s
- Software
Engineering
Tools Research on Only $10 a Day
lecture slide
Java
Verificiation Workshop 2002
Monica
Lam's Stanford Advanced Compiler Topics course
Advanced
Software Engineering course: Analysis and Evaluation at UMass
CSE
231 - Advanced Compiler Design and Implementation
198:516
-
Programming Languages and Compilers Spring 2003 Lecture Notes by Ryder
Cornell
CS 611: Advanced Programming Languages
MIT
6898: Advanced Topics in Software Design
Techniques
of Correct Software Development course
Andreas Zeller's
courses
Fundamentals
of Programming Languages CSCI 5535 Diwan
CS
8803G Object-Oriented Systems and Languages 2002 fall
CS
8803F Object-Oriented Systems and Languages 2001 fall
CISC835:
Introduction to the Automatic Analysis of Software Artifacts (Fall
2002)
Formal
Methods in Software
Engineering (CISC422).
Design
and Analysis of Programming Languages - CS 263 - Fall 2002
CS294-8,
Formal Techniques for Software Reliability Spring 2001
Aiken-
Topics in Software
Engineering – CS294 – Fall 2001 Aiken
Aiken-
Implementation of
Programming Languages - CS 264 - Spring 2002
Aiken
CS
745 / ECE 725 : Computer Aided Verification (Fall, 2002)
U
Penn Modern Programming Language Implementation (Autumn 2002)
Rice
COMP 512: Advanced Compiler
Construction
GIT
Compiler Design: Optimizations for Modern Compilers
Stanford
cs242
Trinity.edu
CSCI 3294 - Program Analysis
Wisc.edu
Construction of Compilers 2001 Fall
Sable.mcgill.ca:
Seminar in Advanced Compilation COMP
621 Optimizing Compilers (Winter 2003)
520
KSU
Translators
II (CIS 801) Fall '01
COMP
621 Optimizing Compilers (Winter 2003) mcgill.ca
Mike
Ernst Course- Static and Dynamic Program Analysis for Software
Engineering Reading
MIT
Program Analysis Group Reading Group
Univ
of
Washington Manuvir Das' Program Analysis Course
Program
Analysis Course by Hanne
Riis
Nielson
Rutgers
Seminar
in Object-oriented Programming Languages 1999
Design
and Implementation of Object-Oriented Virtual Machines 2002
UMD
731 2000 fall
Program
Analysis Course
GIT
Program Analysis course
U
Maryland Program Analysis course
Program
Analysis and Testing course
UBC
Software Practice Lab Seminar
Introduction
to the Automatic Analysis of Software Artifacts
CMSC
631 - Program Analysis and Understanding by Bill
Pugh msc731
Software
Specification (CIS 771) Home Page
CS
525V : Introduction to Computer-Aided Verification
Software
Reverse
Engineering 2003 cmput664
COMP3141
Amir Michail
Imperial
College Seminars
Research:
Richner's
dynamic analysis research
Java
Dynamic
Tool - Caffeine
Dynamic analysis
of Java bytecode
execution - Reverse Engineering
Recon3
Wilde's
dynamic analysis research
wilde
RECON:
Software Reconnaissance Tool for "C" Programmers
Fault
Localization
via Visualization-Tarantula
Eric
Wong H.
Agrawal
Tarja
Systä Java Dynamic Reverse
Engineering ARCHIMEDES
: Managing Product-line Software Architectures
SERC
Berkely
David Wagner's Application of
Static and Dynamic Program Analysis to to Computer Security
Stanford's
Dawson Engler's Checking
Improving
Program Robustness via
Static Analysis and Dynamic Instrumentation in Stanford SUIF
DIDUCE
UCI's
Expectation-Driven Event Monitoring
(EDEM)
DESSERT Software
Visulization Evolutionary
Design
of Complex Systems Steven
Reiss's
Program Instrumentation Project
UCI's
Software
Adaptation Repository
Complex
Event Processing
at Stanford
U Penn's
Run-time Monitoring and
Checking
Berkeley's
Open Source Quality
OGI
PacSoft's
Programatica:
Integrating Programming, Properties, and Validation
MIT Rivet
Virtual Machine
Bell
Lab's Verisoft - A
tool for Systematic Software Testing
Hany
H.
Ammar West Virginia U.
1st Workshop on
Runtime Verification
2nd Workshop on
Runtime Verification
Mike
Ernst Course- Static
and Dynamic Program Analysis for Software Engineering Reading
Debugging tools
GUARD-A
parallel
relative debugger
Andreas
Zeller
Delta Debugging -
from automated
testing to automated debugging Memgraphs
Software
System Chairs
DDD-Data
Display Debugger
IDebug
Fox
Query-Based Debugger
Poet
(Partial-Order Event Tracer) - The Shoshin Debugger (U Waterloo)
Spyder
debugger @ Purdue
U.
SpyJ visual debugging
utility
Unravel:A
program
slicing tool that can be used to statically evaluate ANSI C
source code
using program slicing
Programs
for Evaluating
Software Testing Tools and Techniques (PESTTT)
Falcon
-Monitoring
and Steering System (Georgia Tech U)
Algorithmic
and Automatic
Debugging page
Analyzer
Tools:
Source Code Instrumentation
Java Instrumentation
Engine(JIE)
Daikon:
Program invariant
detector by Michael
D.
Ernst MIT Mike
Harder Ben
Morse
Jeremy Nimmer
Java
StateDumper Michelle
L.
Crane
Java
Analyzer & Panorama for Java
TCAT
for Java for UNIX- Test
Coverage Analyzer and Source Analysis Facility for Java
Testworks
Java
Test Coverage and Instrumentation
Panorama
for Java
Panorama
Panorama-2
Panorama
Test
Java
Design by Contract Tool (iContract)
JConstract-Runtime
Checker
AT&T
tools
NASA
AIMS-
Automated Instrumentation and Monitoring System Parallel
Tools
Team
UWF
Recon C RECON:
Software Reconnaissance Tool for "C" Programmers
Telcordia
Software Visualization and Analysis
Toolsuite (xSuds) C/C++
Dynascope-a
Platform
for Building Directors
ByteCode/Executable
Adaptation
Java Object
Instrumentation
Environment(JOIE)
Duke
Binary
component
adaptation (BCA) UCSB
Bytecode
Instrumenting
Tool(BIT)
Colorado
BIT
Java
ProfBuilder
Byte Code
Engineering
Library
Method
Tracing
tool
JTrek
(Compaq)
jtrek-docs
Compaq
ATOM
Wisconsin
Architectural Research Tool
Set includes Program profiling tool (PP), Program profiling
and tracing system
(QPT).Sun/Solaris
UW Etch Call
Graph
Profiling
Dynamic
Instrumentation
Dynamic
Instrumentaion in Univ. Wisconsin /DynstJ for
Java DyninstAPI
in
U Maryland
JVMPI Interface
Jinsight-
IBM
Wim De
Pauw
Gary
Sevitsky
The Knowledge
Discovery
System - subdue @ UT Arlington
xdProf: a tool
for the capture and
analysis of stack traces
Gadget
- A Dynamic Software Structure
Inspector for JAVA Programs (drexel) SERG
Drexel
JProbe
Rational's
Quantify
for
Unix
Rational's
Quantify
for
NT
Review
quantify
Intel
VTune
Performance
Analyzer-callgraph
Optimizeit Java
Performance Profiler
TrueTime
Java Profiler
HPjmeter
Call
tree
TAU
(Tuning and Analysis
Utilities) performance analysis environment
PerfAnal:
A
Performance Analysis Tool
Java
Profileviewer
- Xrunhprof
Brown's BLOOM
JVMDI Code
Coverage Analyser for
Java
Instrumented
JVM
Javanauts
(UAH)
UMN JaViz
Java
Profiling
and Visulization Tool
Others:
VisiVue- Runtime
Software Visualization for Java
Testing
Code
Coverage Tools:
Software
Testing Resources
on the Web
Testing
Tools
Summary
Logiscope
LOGISCOPE
DOC
Best
Java
Testing
Tools
CCover
Cantata++
Cantata
ldra
Panorama-2
softwareautomation
Testworks
Telcordia
Software Visualization and Analysis
Toolsuite (xSuds)
Concerto-AUDIT
No
download
Testing
Distributed System -
Purdue- Corba/COM
Profiling Tools & Other
Tools
Java
Performance Tuning Java
Performance Tuning 2 Javaworld-
Performance
Sun
Java
Virtual
Machine Profiler Interface (JVMPI)
Profiling
Tool
Summary Profiling
Summary profiling
summary tru64unix
compaq
Profiling
doc
mozilla
performance tools
Best
Java
profiling tool Profiling
tools
evaluation
XProfiling
Object
Oriented System Development
Book's Performace Optimzation Chapter
Rational
Purify
Fresco
Profiling
Java
Workshop Profiler
Sourceforge-Javaprofiler-planning
Open
Source Java Profiler
HyperProf - Java
profile browser (not
available)
Performance
Monitoring for the Pentium and
Pentium Pro Under the Linux Operating System
AIMS-
performance evaluation
of parallel applications on multiprocessors
pgrt-
Instrumentation and Visualization for Design
and Testing of Real-Time Systems
Perfmon/Mperfmon
-Performance Monitoring
for the Pentium and Pentium Prof under Linux
Vampir -
Visualization and Analysis of MPI
Programs
Pablo- Performance
analysis tool for parallel
programs
ParaGraph
-
Visualizing
the Performance of Parallel Programs
mpicl- Portable
Instrumentation Library for Fortran
& C parallel programs
Agrawal's
Call graph
BSP
call graph profiling
tool Download
Lightweight
Corefile Browser
Download
IBM
OS390 use C/C++
Productivity Tools' Performance Analyzer
GNU
memprof
jprof
cprof
Cost
centre
stack
profiler
Mutek
bugTrapper
SGI
kernprof
for Linux
Mercury
mprof Mercury
GNU
Gprof: A Call Graph
Execution Profiler
Download
Windows
gprof gprof_doc
gprof/paper
Call Graph
Drawing Interface- A gprof VCG
Compaq
hiprof
(no download) hiprof
doc
HyperProf
Java
profile browser
Aicall166
Jswat -Graphical
Java Debugger
Microsoft
Research Thomas
Ball
Microsoft
Research James R
Larus
Tom Ball
(Microsoft)'s Dynamic
Program
Analysis lecture slide
Bill
Griswold (UCSD)'s - Software
Engineering
Tools Research on Only $10 a Day
lecture slide
Java
Verificiation Workshop
2002
Reverse
Engineering Tool list
Refactoring
Resources scgwiki
ECOOP Workshop
series on Object-oriented Archiectireal
Evolution
Architectural
Design and Evolution of
Integrated Systems
IRUS: Irvine
Research Unit in Software's Evolutionary
Design
of Complex Software
(EDCS)
UCI Peymano's
Decentralized
Software
evolution
ADL
2.0 by UCI (Available)
Jianjun
Zhao Afanti:
Analysis
and Testing for Aspect-Oriented Software
Dynamic
Architecture Resources
Software
Adaptation
Repository
Mission
ORiented Architectural Legacy Evolution
(GIT) by GIT's
Gregory
Abowd
Java
Software Architecture Evolution Tool
(iDarwin)
MIT Robust Open
Multi-Agent Systems (ROMA) Research Group
ArchJava
by U Washington Jonathan
Aldrich
Austin's
Perry, Dewayne 's Software
Architecture
Big Research
Links: Project, Group, Bibliographies, Workshops/Conferences
Austin's Don
Batory 's Product
Line
Architecture Research Group
Rapide Stanford
CMU's
David
Garlan
CMU's
Mary Shaw
CMU SEI's
Rick Kazman
USC's
Barry Boehm 's Center
for Software Engineering at
USC
Alexander
Egyed (Teknowledge)
USC's
Robert Balzer 's Software
Sciences
Division
Teknowledge-Robert
Balzer Teknowledge.com
DAML
USC's Neno
Medvidovic
UCI's Richard
N. Taylor's Irvine
Research Unit in Software (IRUS)
UCI's
David
Rosenblum
UCI
André van der Hoek
Colorado's
Alexander L. Wolf
's Software
Engineering Research
Laboratory
GIT's
Gregory Abowd
UMass
Lori Clarke Lee
Osterweil's Laboratory
for Advanced Software Engineering Research
UIUC
patterns/Software Architecture Group by Ralph
E.Johnson
SWAG:
Software Architecture Group Richard
C.
Holt
Distributed
Software Engineering Group in
U London Prof.
J.
Kramer
Hany
H.
Ammar West Virginia U.
UMLAUT-Unified
Modeling Language All pUrposes Transformer Triskell
Henry
Muccini - architecture-based testing
U
Mass SAResources
Bredemeyer.com-Software
Architecture, Software Architects and Architecting
Schmidt's
Corba
UCI's Schmidt
Cetus-links.org's
Architecture
and Design
Bibliography
on Software Architecture Analysis
Software
Architecture Analysis: A Dynamic Slicing Approach
Software
Architecture Bibliography
Microsoft
Research's Robert DeLine
Working
Conference on Software Architecture
(WICSA2001)
First
ASERC Workshop on Software Architecture with slides (AWSA2001)
Second
ASERC Workshop on Software Architecture (AWSA2003)
Fourth
Australasian Workshop on Software and Systems Architectures (AWSA2002)
USC's
Neno Medvidovic Software Architecture Courses
CMU's
David
Garlan Software Architecture Courses
CMU's
Mary Shaw Software Engineering Courses
UCI's
Schmidt CORBA &
Architecture Courses
Courses
in USC
Architecture/Design
Pattern/Reuse
Links
ArgoUML,
a java based cognitive CASE tool.
CMU
Model
Checking Work
Stanford's Hardware
Verification Group The
Stanford Temporal
Prover
Bell
Lab's
Verisoft - A tool for Systematic Software Testing
Bell-labs'
SPIN
Research SPIN
Web Gerard
J.
Holzmann Patrice
Godefroid
Spoin2003-10
Spin2002-9th
International
SPIN Workshop on Model Checking of Software
Spin2001-8th
International SPIN Workshop on Model Checking of Software
Spin2000-7th
International SPIN Workshop on Model Checking of Software
Spin1999-6th
International
SPIN Workshop on Practical Aspects of Model Checking
Spin1999-5,
July
1999, Trento, Italy
Spin1998-4,
Nov.
1998, ENST, Paris, France
Spin1997-3,
Apr.
1997, Twente University, The Netherlands
Spin1996-2,
Aug.
1996, Rutgers University, USA
Spin1995-1,
Oct.
1995, Montreal, Canada
Workshop
on Software Model Checking
Model-based
Validation
of Intelligence
U
Washington William Chan (1972-1999)'s Symbolic Model Checking for
Statecharts-like Specifications
Abstract
State Machines MSR
FSE
E.
Börger
(University of Pisa, Italy)
MIT
Nancy Leveson Software Safety Safeware
Engineering Com
U
Penn Gunter Verinet References
papers
Microsoft
Research's SLAM Project - Software (Specifications),
Languages, Analysis, and Model
checking
Theory
group
@ informatik.tu-muenchen.de Stefan Schwoon's Moped
model checker
NASA
Automated Software Engineering Group's Verification
and
Validation
Berkeley.edu's
Mocha:
Exploiting Modularity in Model Checking
Ken
Mcmil in UCB
CMU
SEI's Model-based Verification
KSU Lab for Specification, Analysis, and Transformation of Software
The
Java
Modeling Language
SRI
Model Checking PVS
tool
U
Waterloo Model Checking
Using
Model Checking to Generate Tests from Flight Guidance System (FGS)
Specifications
Reactive
Systems
Analysis
Tools
for Concurrent and Distributed systemsd LTSA V2.2 Stochastic
LTSA
- simulation of Timed Transitions systems
Partial-order verification techniques
A
Composite Model Checking Toolset for Analyzing Software Systems
SMART-Stochastic
Model-checking Analyzer
for Reliability and Timing
Berkeley
Software Enabled Control Project Thomas
A.
Henzinger
WWW
Virtual Library Formal methods
Armin
Biere
Stony
Brook
Java Checker by Stoller
Bandera-
Software model construction for finite-state verification of Java
S2aVES:
tool support for the specification, synthesis and verification of
synchronization implementations; Java & C++
UMass's
Little JIL - Process Language in U
Mass Laser
International Software
Process Constellation Co.
- PASTA PASTA
Book
(Chinese version) <
href="http://users.comlab.ox.ac.uk/bernard.sufrin/jape.html">
Framework for building interactive proof editors developed at Oxford
University and and University of London. The Jape page. A
description on how to use Jape under Unix is here.
A description on how to use Jape at Queen's is here.
Z/Eves
- Theorem proving tool for Z specifications
OBJ3
ASTRAL
ZANS:A
Z animation system
USE
- Tool for validation of UML models and OCL specifications
Cadence
SMV model checking tool
Spin
- Linear time model checker
NuSMV- Symbolic
branching time model checker
VeriSoft
Uppaal - Integrated tool
environment for modeling, validation and verification of real-time
systems
Formal
methods
tools
Model
Checking Links
Model
checking Links
Model
Checking White Pages
Specification and Verification of Heterogeneous Electronic Systems
Model
Checking
tools
Automated
verification tools
SAT-Based
Model Checking
Time
Rover Specbox
HyTech
CMU
Nitpick
Alessandro
Cimatti
Deductive
Model
Checking
Reading
for model checking
GCMPS
266:
Formal Specification and Verification
Online
Proceedings
of First International Workshop on Model-based
Requirements Engineering
Java
Verification Workshop 2002
3rd ACM
Sigsoft Workshop on Formal Methods in Software Practice
(FMSP’00)
Jaza
an `Animator' for the Z formal specification language
Z/EVES
system in this course. It supports typechecking and theorem proving
for
the Z specification language
NASA
Langley Formal
Methods Conflict
Detection
and Resolution source code in Java and C++
Formal
methods links
USE-
A
UML-based Specification Environment UML + OCL
CS
745 / ECE 725 : Computer Aided Verification (Fall, 2002)
CS
525V : Introduction to Computer-Aided Verification
0657.424: Topics in Software Engineering, 2002A
EDSER
Website
6th
International Workshop on Economics-Driven Software Engineering
Research
2004
5th
International Workshop on Economics-Driven Software Engineering
Research
2003
4th
International Workshop on
Economics-Driven Software Engineering Research 2002
3th
International Workshop on
Economics-Driven Software Engineering Research 2001
2th
International
Workshop
on Economics-Driven Software Engineering Research 2000
1th
International
Workshop on
Economics-Driven Software Engineering Research 1999
Oregon
Lecture
Series on Economic Driven Software Engineering Research
The
Courseforges Allians Forging faculty
alliances in curriculum development
NSF
ITR Strategic Software Design Project-SoftwareEconomics.org
SoftwareEconomics.com
Software
Economics by Barry Boehm and Kevin Sullivan
USC
MBASE- Model-Based Architecting and Software Engineering
USC
COCOMO Suite
A
list of Reference in Software Engineering Economics
Value-Based
Software
Engineering for Small Business By
David
Raffo etc.
The
Economics
of Product Line Development
Investment
Analysis
of Software Assets for Product Lines
CeBASE,
NSF Center for Empirically Based Software Engineering
CMU
SEI CMMI
Software
Investment Analysis from Institute for Information Technology Canada
Annotated
Bibliography
Software
Economics-
Investment Analysis & Real Options Resource Link
Erdogmus
papers
on software economics
The
MIT Design Structure Matrix
Large
Limits to Software Estimation Supplementary
material by J.P.
Lewis
Value-Sensitive
Design project
Georgia
Tech: The School of Industrial and
Systems Engineering
The
Information Economy
Computereconomics.com
Harvard
Business School
Hakan
Erdogmus Shawn
Butler
Warren Harrison
Rick
Kazman Donald J.
Reifer
Yuanfang
Cai
Somesh Jha
Prasad
Chalasani Prasad
Chalasani
CS851
Software Economics
Seminar
Real
Option Theory Applications in Software Engineering Bibliography
Rational
Software:
Next-Generation
Software
Economics
Improving
Software
Development Economics
Courses
in USC
Software
Engineering Economics Course
Seminar
in Software Economics Class
Schedule A
list of Reference
Analytical
Methods
in Software Engineering Economics Course
5th
Annual International Conference on Real Options Theory Meets Practice
4th
Annual International Conference on Real Options Theory Meets Practice
3th
Annual International Conference on Real Options Theory Meets Practice
MIT
Erik Brynjolfsson- Information Technology and Business Value
Decision-Based
Design on-line workshop
Real-options.com
Economic
models of software reuse: A survey, comparison and partial validation
Strategic
technology
adoption taking into account future technological
improvements : a
real options approach
A
Case Study on IT Investment Evaluation using Option Pricing Techniques
Software
Development
Growth Options -- An Illustrative Numerical Example
Construx
Software Estimate Tool Construx.com
WebEc
- WWW Resources in Economics
Econometrics
Laboratory Software Archive
CentER
for economic research: Discussion papers
Real
Options in Resource Industry
Earned
Value Management
MITRE
Papers
1998
MITRE Software Engineering and Economics Conference
Papers
1997
MITRE Software Engineering and Economics Conference
Papers
Economic-Driven Software Process
Microsoft
Solution
Frameworks MSF
in
Chinese
Joachim
Karlsson - Prioritizing Requirement
Open
Source-
the Cathedral and the Bazaar Raymond's
annotated
``Halloween Memos''
Extreme
Programming
Armaties'
Extreme Programming
C2's
Extreme Programming
XProgramming.com
JUnit.org
The
New Methodology Martin
Fowler
Agile
Testing
Software
Design Area at Xerox AspectJ
web
page Aspect-Oriented
Software
Development Web-aosd.net aspectmentor
Mik
kersten
Aspect-Oriented
Design Pattern Implementations
AspectC++
JAC
(Java Aspect Components)-A
flexible framework for
Distributed & Dynamic Aspect-Oriented Programming in Java
UMLAUT-Unified
Modeling Language All pUrposes Transformer Triskell
C2-wiki-AspectOrientedProgramming
dmoz.org
-
AOP
UBC
Software Practices Lab
Aspect-Oriented
Database
Multi-Dimensional
Separation of Concerns: SE using Hyperspaces
Subject-Oriented
Programming Page
Harold
Ossher Peri
Tarr
Stellation
Christina
von Flach G. Chavez Separation
of
Concerns in Multi-Agent system
Aspect-Oriented
Middleware
for Context-Sensitive and Dynamic Customization of
Distributed
Services - lasagne Eddy
Anders
Andersen
publication projects
Demeter-
Adaptive Programming Karl
Lieberherr Book
on
Adaptive Programming
IIT
Concurrent
Programming Research Center
Open
Implementation
Page
Krzysztof
Czarnecki Survey
of
Aspect-Oriented Programming work
Composition
filters
Composition
Filter
e-Tutorials
Jianjun
Zhao Afanti:
Analysis
and Testing for Aspect-Oriented Software
John
Grundy Aspect-oriented
Component
Engineering
A
Prism for Research in Software Modularization Through Aspect Mining
Aspect
Mining
Tool
Multi-Visualizer
for
AMT
Designing,
Modelling
and Implementing a Toolkit for Aspect-Oriented Tracing
Workshop
on
Tools for AOSD 2002 at OOPLAS
Workshop
on
Advanced Separation of Concerns in Software Engineering at ICSE 2001
Workshop
on Advanced Separation of Concerns (ECOOP
2001)
Workshop
on Aspects and Dimensions of Concerns (ECOOP 2000)
Second
Workshop
on Multi-dimensional Separation of Concerns in Software
Engineering
(ICSE 2000)
Workshop
on
Multi-Dimensional Separation of Concerns (OOPSLA 1999)
Workshop
on
Advanced Separation of Concerns in Object-Oriented Systems
(OOPSLA2001)
Aspect-Oriented
Programming Workshop (ECOOP'99)
Aspect-Oriented
Programming
Workshop (ICSE'98)
Aspect-Oriented
Programming
Workshop (ECOOP'97)
CIOO'96,
Composability in Object-Orientation (ECOOP'96)
1st
International Conference on Aspect-Oriented Software Development 2002
2nd
International Conference on Aspect-Oriented Software Development 2003
Aspect
Oriented
Design (AOD)2002 Workshop on Separating & Verifying
Concerns in the
Design
U
Virginia AOSD
course AOSD
seminar
AOP
papers
AOP
resources
Separation
of Concerns papers
Software
Compositions
Aspect-Oriented
& Real-time systems
Pattern
Testing using AspectJ Virtual
Mock
Objects using AspectJ with JUNIT
Test
flexibly
with AspectJ and mock object
Cactus
- A test framework for unit testing server-side java code
Cricket
Cage- Unit test by AspectJ
Retrofitting
unit
tests
Overview
Software
Testing Researchers
Martin
Hiller Dependable,
Embedded
and Distributed Systems
CMU
Ballista
L
Briand Diduce
Mutation
testing
Dynamic
Assembly for Systems Adaptability, Dependability, and Assurance-DASADA
Test
Case Extraction from Correctness Proofs Towards
a
Method of Test Case Extraction from Correctness Proofs
John
Clark Simon
Burton Andy
Galloway
John McDermid
York
Testsig
U
Penn Gunter Verinet References
papers
John
Callahan
MIT
Testera
MIT
Sarfraz
Daikon:
Program invariant
detector by Michael
D.
Ernst MIT Mike
Harder Ben
Morse
Jeremy Nimmer
Mike
Ernst Course- Static and Dynamic Program Analysis for Software
Engineering Reading
SQA
(inspection) cost-effectiveness analysis papers
Defect
Tracking + Inspections = $ in Your Pocket
Joachim
Karlsson - Prioritizing Requirement
T.H.
TSE
UCI
Analysis and Testing
Johann
Schumann Lars
G. Bratthall
Berkeley's
Open Source Quality
Topics
in
Software Engineering Course
Software
Quality course
Selected
bibliography
of related research papers
Return
on Investment Model for Software Independent Verification and
Validation
COQUALMO
Defect
Reduction
Empirical Research Activities
CeBASE,
NSF Center for Empirically Based Software Engineering
Defect
Detection
Bibliographies
Stony
Brook Security & Reliable Systems Lab Error
Prevention
Project
Process
Improvement
Strategies
at Software
Process
Resources in U Mass Dartmoush
William
E. Howden
Center
for High Assurance Computer Systems
U
Mass Analysis U
Mass Perpetual
Testing
Oregon's
Michael Young 's Perpetual
Testing
for complex, evolving systems PaceMaker
Brew
Java
Protocols Project
Debra
J. Richardson
UCI Rosatea
UCI
Perpetual Testing
Redundant
Arrays of Independent
Components RAIC.
IBM
Research Frank Tip IBM
Research
SE
Software
Quality Group at hissa.ncsl.nist.gov Software
Assurance
Automatic
Test
Generation from Formal Specification Model Checking
Papers
Andreas
Zeller Delta
Debugging
- from automated testing to automated debugging
Memgraphs
Insup
Lee U Penn. Run-time
monitoring
and checking
Furick
Robert
P Building competitive advantage in
shrinkwrap software : the
role of technical support / by Robert P. Furick
Software
Verification Research Center U of Queensland Australia
Testing
publications
Gregory
M. Kapfhammer Marcus
Bittman Joshua
Software
Quality Group NIST
Papers
Specification-Based
Testing
DAS-BOOT-
Design-
and Specification-Based Object-Oriented Testing
Objects
First:
Special Values for Testing
UBC
formalWARE Fruskey
publications
Formal
method and tools group Tool
download
Jon
Edvardsson A
Survey on Automatic Test Data Generation
GIT
Aristotle Mary
Jean
Harrold
ISSTA00
Slides Project
U
Maryland Adam
Porter - Testing Jung
M.
Kim
OSU
Gregg Rothermel Sebastian
Elbaum
UNL mapstext
project
PROPANE
- the PROPagationa ANalysis Environment
William
E. Howden
Testing
of Object-oriented software sysTEms with the Unified Modeling Language
Software
QUALity engineering Lab
(SQUALL),
A.
Bertolino (IEI at Italian Research Council, Pisa, Italy)
Connie
Heitmeyer
Richard
DeMillo (HP)
Jeff
Offutt (George Mason U.)
SpecTest:
An
Automatic Test Data Generator From SCR and UML Specifications Evaluation
of
Testing Criteria Aynur
Abdurazikw
U
Mass Analysis U
Mass Perpetual Testing
Oregon's
Michael Young 's Perpetual
Testing
for complex, evolving systems PaceMaker
Software
Testing
and Analysis: Framework and Process Talk
Software
Testing
and Analysis for Practitioners Talk
Henry
Muccini - architecture-based testing
Debra
J. Richardson
UCI Rosatea
UCI
Perpetual Testing
Tools
TAOS
Software Testing with Analysis and Oracle Support by UCI
adlscope
A software testing tool for measuring coverage with respect to a
program's
specifications by UCI
MSU
- Laura K. Dillon
Dennis
Peters
Atif
Memon Maryland UI Testing
QuickCheck
-
specification-based testing for Haskell programs
Côte
de Resyste - specification-based testing
Lee
J. White
Jung-chang
Huang (U. Huston)
Anneliese
Katharina Amschler Andrews Colorado State Univ.
Daniel
M. Hoffman (U. Victoria, Canada)
Hong
Zhu Oxford Brookes University
James
H. (Jamie) Andrews
Joshua-
Distributing
the Execution of Regression Test Suites
By Gregory
Kapfhammer @ Allegheny
College
Testing.com-
Brian Marick
Satisfice.com
W.
Eric Wong Telcordia
Papers
John
A. Clark, University of York, UK
Martin
Woodward U Liverpool, UK
Jeff
Offutt, George Mason University, USA
Delta
Debugging by Andreas
Zeller,
University of Saarland
Software
testing by Dick
Hamlet Portland State U.
Phyllis
Frankl Polytechnic University
Stephen
H. Edwards - automated testing Software
Testing
Education web-cat
Jianjun
Zhao Afanti--Analysis
and
Testing of Aspect-Oriented Software
Testing
using
log file analysis James
Andrews
Bell
Lab's Verisoft - A tool for Systematic Software Testing
Dynamic
Modeling and Simulation of the System Testing Process
Tarantula
Fault Localization System in GIT
Telcordia
Software Visualization and Analysis Toolsuite
Xsuds - Telecordia
Negotiating
testing resources: A Collaborative Approach
By
Kaner
Design
by Contract: A Missing Link .. - Eiffel Liberty
Testing
Distributed System - Purdue-
Corba/COM Aditya
Mathur
SRL
Testing Toolkit by ivv.nasa.gov
An
Informal Formal Method for Systematic JUnit Test Case Generation
pubs
David
Stotts lindsey
Jax
jax
testing
Technical
literature
on ODC
S/390
Orthogonal Defect Classification Education
ODC
Using
Defect Tracking and Analysis to Improve Software Quality
NSF-CNPq
"Readers"
Project
Software
fault
tolerance and Software testing by Bev
Littlewood
FLUID
Project by CMU William
Scherlis
The
Java
Modeling Language
Algorithmic
and Automatic Debugging page
Program
Slicing
page
Software
Metrics
page
Cigitallabs.com-
Hotlist
Soft.com
- Test HotList
Software
Testing Hotlist
softwaretestinginstitute
testingstuff
javaworld.com
-
testing tools
Testing
Biblio
Courses:
Spring
2004: CISC 879 Software Testing and Maintenance
Drexel.
CS576
Drexel
Soutercs480 fall03
umd
class
State-of-the-Art
Report:
Analysis and Testing by Michal Young MSR 1999
Testing:
A
Roadmap Testing
Testing
Seminar
Selab
seminars Seminars kaist
Component-Based
Software
Engineering course CBD(Component
Based
Development) for e-Business Dr
Bae
U.
Arizona
Software
Analysis, Testing and Verification
Advanced
Topics
in Software Testing Fall 2001 by Atif UMD
Fall
2002 Fall
2003 Teaching
GMU
Jeff Offut's Testing courses Reading
List
and Summaries Analysis
of
Software for Testing summaries Class
Aynur
Fall
2003 Web
and
Component-Based Software Testing 2003 Fall
ICS
224 Software analysis and testing
Software
Testing
and Verification (CMPS557)
CS 706: Analysis
of Software Artifacts (Fall 2001)
[University of Wisconsin, Madison], Instructor: Dr Somesh
Jha
Analysis
of Software Artifacts (Fall 2001) [Carnegie
mellon University],
Instructor: Jeannette Wing
COMP 607:
Seminar Computer-Aided
Verification [Rice University computer science
department], Compiled
by Moshe Y. Vardi
P415/P515
- Introduction
to
Verification
Spring 2002 [Indiana University
computer science department] by Steve Johnson
CS
745-Reading: Computer Aided Verification (Fall, 2003)
Software
Analysis
and Test 98 Winter Michal Young Software
Quality
Analysis Fall 99 http://www.cs.uoregon.edu/~michal/Classes/
CS272:
Software Engineering by Tevfik
Bultan
Testing
course
1997 fall
Software
Testing
Seminar by Sagiv
UCI
Debra Richardson Testing courses
Topics
in
Software Engineering Course
Software
Quality course
pag.lcs.mit.edu
6.893 readings
SE
Seminar
Bultan
SE class
CSE647
Testing and Verification of Software by Scott
Stoller
Reading group
on testing autumn 2002 here
. Reading group on testing
spring 2002. Graduate
Reading
Course on Software Testing
IBM's
"Software
Testing Hits the Big Time,"
SE
Lecture
Slides
Software
testing
course - spring 2003 Software
testing
course - spring 2002 Software
Testing
Seminar http://cs.haifa.ac.il/courses/softtest/
Internet-Scale
Software
Engineering: Leveraging Fielded Resources
USC
Formal
Methods in Software Architectures
U
Iowa Formal Methods in Software Engineering
CPSC
333/SENG
311: Foundations of Software Engineering - Materials ucalgary
Seattle
Area Software Quality Assurance Group past meeting
Survey/Tutorial
on Model-Based Test Generation
198:516
-
Programming Languages and Compilers Spring 2003 Lecture Notes by Ryder
CS
484/584
Software Quality Assurance Spring00 Spring02
cs484
Fall 2002 Software
Testing by Souter
Software
Quality
and Testing (Spring 2003) by Jerry Gao
CS5364
- Software Quality Assurance and Testing by Jason Denton
UMN
testing
class
spr 2001 csci5802
WPI
testing
com3220
COM3220
/
COM6660 Advanced Software Engineering Presentations
ASE
class
U
Virginia Dependable Computing course
Koopman
Software
Engineering
book slides
UIUC
Grosu ASE Runtime verification courses
Advanced
Software Engineering course: Analysis and Evaluation at UMass
GIT
Program Analysis course
UCI
Software
Testing and Analysis Course ics224
ics280SSAT
ics224
2003 fall
CS
484/584
Software Quality Assurance
U
Calgary - SE Courses
Software
Process Management Course Software
Quality
Management course
Software
Spec Course at KSU 771-Distribution
Specification
and Verification
of Reactive Systems (CIS 842)
Course
Test
definition
Course
Notes
Software
Testing
Notes
OO
and Architecture-based Testing course by
Jeff Offutt
Course
Reading
Papers Course
readings SWE
637:
Software Testing and Quality Evaluation 2003 fall
IT
821 / SWE 699 - Web and Component Based Software Testing
Software
Engineering
Experimentation Analysis
of
Software for Testing
GMU
Ye Wu's Testing courses
GMU
Ye Wu's Component-based Software Development
Component
Software
Course
Program
Analysis and Testing course
Introduction
to the Automatic Analysis of Software Artifacts course http://www.cs.queensu.ca/~dingel/cisc835_Fall
02 Formal
Methods in Software Engineering Winter 2003
ics221
Manton
M. Matthews Lectures
Bart
Massey's OMSE courses
Survey/Tutorial
on Model-Based Test Generation
U
Dundee
Testing Reading
UCI
Testing Lecture
Study
group on software test
Testing
Strategies
Testing
Study
Unit
Testing
Special
Values
Testing
Standards
(DRAFT)
qadownloads
Software Test and Analysis: Process, Principles, and Techniques. Mauro
Pezze` and Michal
Young.
Chapter
2: Dimensions
and
Tradeoffs
Chapter
13: Functional
Testing
Chapter
14: Structural
Testing
Test
oracles
Misc.
Links:
Software
Testing
Related Publications
STORM
- Software Testing Online Resources at MTSU.
Softwareqatest.com
Testingfaqs.org
Testing.com
Agile
Testing
Aptest.com
- Testing Resources
Soft.com
- Test HotList
Software
Testing Resources on the Web
Testing
Tools
Summary
Software
Testing and Quality Evaluation course
Cigitallabs.com-
Hotlist
Jeff
Offutt's testing link
List
of testing tools
OO
Testing Who is Who
RBSC
Testing
Resources
OO
Testing Links
Papers
in
Testing
Conferences:
2004
International Symposium on Software Testing and Analysis
2002
International Symposium on Software Testing and Analysis
2000
International Symposium on Software Testing and Analysis
Slides
ISSTA 2000
1998
International Symposium on Software Testing and Analysis
1996
International
Symposium on Software Testing and Analysis
3rd
International Workshop on Formal Approaches to Testing of Software
(FATES 2003)
2nd
International Workshop on Formal Approaches to Testing of Software
(FATES 2002)
1st
International Workshop on Formal Approach to Testing of Software
(FATES
2001)
4th
Workshop on Runtime Verification 2004
3rd
Workshop on Runtime Verification 2003
2nd
Workshop on Runtime Verification 2002
1st
Workshop on Runtime Verification 2001
2nd
International Workshop on Automated Program Analysis, Testing and
Verification (WAPATV
2001)
1st
International Workshop on Automated Program Analysis, Testing and
Verification (WAPATV
2000)
Specification
and
Verification of Component-Based Systems Workshop at OOPSLA
2001
xp2000
xp2001
xp2002
- testing session xp2003
testng
slides xp2004
2001
UW/MS Summer Institute - Specifying and Checking Properties of
Software
ROSATEA:
International Workshop on the Role of Software Architecture in Testing
and
Analysis
International
Workshop on Test and Analysis of Component Based Systems (TACOS)
2003
ICSE
Workshop on Dynamic Analysis 2003
Workshop
on
Advancing the State-of-the-Art in Runtime Inspection 2003
Chillarege.com
ISSRE
Fast Abstracts
Aspect
Oriented
Design (AOD)2002 Workshop on Separating & Verifying
Concerns in the
Design
2001
UW MSR Summer Research Insititues- Specifying and Checking Properties
of
Software
Java
Verification Workshop 2002
U
Virginia AOSD
course AOSD
seminar
The
issue
41-1 of the IBM Systems Journal which focuses on
Software Testing and
Verification.
Cigital
presentations
Specification/Design
Defect Discovery
Inspection
Adam
Porter -Inspection
Reading
techniques
for fault detection
Basili's
Papers
Predictive
models of error-proneness
Reading
&
Inspection Study Overview
Software
Engineering Laboratory
Technical
Reviews
and Postmortems Bibliographies
Specification
Model
Checking
UW
William Chan's Model Checking
Specification
Patterns
NASA
Verification and Validation
CMU
Model Checking Work
Berkeley.edu's
Mocha:
Exploiting Modularity in Model Checking
CMU
SEI's Model-based Verification
MSU
- Laura K. Dillon
Mocha
model checker home page.
IFAD's
site for VDM-SL and related tools.
Stefan
Leue
Formal
methods in Bell Lab
Verification
Tools
Using
Mutation Analysis and Model Checking to Generate Tests from Formal
Specifications Paul
Ammann
Automatic
Test Generation from Formal Specifications at NIST complete
list
of papers
Automatic
tests
generation starting from formal specifications by Model Checking
Publications
Test
Generation
for Intelligent Networks Using Model Checking
Collection
of
Reports from CSC2108 Automated Verification
Model
Checking Test Case Generation in U Penn
For more see Model
Checking links at this
page.
Code/
Spec-Code Defect Checker
C
Lclint:
statically checking C programs U Virginia
(Available) Jim
Horning's
Larch Page
cqual-
Type Qualifier U Berkeley
(Available)
Eau
Claire - Find errors in C programs that could result in
security breaches
by Brian
Chess (Available by
request)
Bounds
Checking for C (Imperial College)
Berkely
David
Wagner Jeff
Foster Software
Security
Project (Soon)
BLAST
lazy abstraction software verification tool
S2aVES:
tool support for the specification, synthesis and verification of
synchronization implementations; Java & C++
Flavers
(Flow Analysis for Verification of Systems) U Mass
SCARP
-the Static Concurrency Analysis Research Project
Bell
Lab's Verisoft - A tool for Systematic Software Testing
PEP
(Programming Environment Based on Petri Nets).
The
Model
Checking Kit
Metal
system for error detection combines a syntax-based abstraction
mechanism with
local analysis Stanford's
Dawson
Engler's Checking
Gimpel
Software - PC-lint and FlexeLint C/C++
MSR
ESP-C Program Error Detection Via Scalable Program Analysis
Intrinsa's
PREfix - acquired by MS (the Verification Condition
Generator (VCGen)-based
tool) : PREfix
Paper
MSR
SLAM - Software (Specifications), Languages, Analysis,
and Model checking
(Soon available)
Java
Extended
Static Checker for Java (ESC/Java) (Available)
Cormac
Flanagan K.
Rustan
M. Leino
Lemme
VerifiCard Project
VerifiCard
Electronic
purse
Alloy
Constraint
Analyzer-a tool for analyzing Alloy
object-oriented models
By Daniel
Jackson MIT
(Available)
Java
PathFinder-2 Java
PathFinder-1 a model checker for Java programs. K.
Havelund Willem
Visser Grigore
Rosu
Stony
Brook Java Checker by Stoller
Bandera-
Software model construction for finite-state verification of Java
S2aVES:
tool support for the specification, synthesis and verification of
synchronization implementations; Java & C++
Bell
Lab's Verisoft - A tool for Systematic Software Testing
Flavers
(Flow Analysis for Verification of Systems) U Mass
Canvas
- (Component ANnotation, Verification And Stuff) IBM Research
TVLA
Project using
three-valued logic for static analysis
Software
Spec Course at KSU
Formal
methods
tools
Model
Checking Links
Runtime
Verification
C/C++
Rational
Purify C++/Java
Numega-
BoundsCheck
Parasoft
Insure++ - Run-time checking through source code modification C/C++
Insure
Berkely
David Wagner's Application of Static and Dynamic Program Analysis to
to
Computer
Security
plumber
A tool for identifying memory leaks in runtime by UCI (Available)
Metal
system for error detection combines a syntax-based abstraction
mechanism with
local analysis Stanford's
Dawson
Engler's Checking
Debugging
Tools
List for Dynamic Storage Allocation
Falcon
-Monitoring
and Steering System (Georgia Tech U)
Poet
(Partial-Order Event Tracer) - The Shoshin Debugger (U Waterloo)
Guard:
Relative
Debugger
GNU
Nana: improved support for assertion checking and logging in GNU C/C++
Java- Assertion/Design
By Contract
USE-
Tool for validation of UML models and OCL specifications
Rational
Purify C++/Java
Numega-
BoundsCheck
U
Penn's Java Run-time Monitoring and Checking
Juergen
Dingel (Queen's U, Canada)
NASA
Java PathExplorer
iContract,
which supports specifications in javadoc comments.
iContract
Plus - Making iContract friendly
jContractor:
Design by Contract for Java
JContract
Java
Design by Contract Tool
dbcproxy:
Adds DBC to Java by using Dynamic Proxies and Code generation.
jspec:
A
doclet that extends the standard doclet to include DBC assertions..
iDoclet,
the iContract doclet and other iContract add-ons.
Jass
(Java with assertions), which supports design by contract for Java.
jassda
(Java with assertions Debugger Architecture)
Barter
- beyond design by contract a code generator for AspectJ,
implemented as an xDoclet
task
JMSAssert
(Design for Contract)
A
comprehensive summary of Design by Contract for Java
Link
-
Design by Contract
Contract
reading
list
Design
by Contract- Geoff Eldridge
Building
bug-free
O-O software: An introduction to Design by Contract
Java
Modeling Language (JML) Object
Constraint
Language (OCL)
Dresden
OCL Toolkit
Testing
by contract
EiffelUnit
-
Design by Contract and Unit Testing
Sun Java 2.0 "Programming
With
Assertions"
ADL:
Assertion Definition Language
The
Data Generation Language
eXtensible
C#
Designing,
Modelling
and Implementing a Toolkit for Aspect-Oriented Tracing
Design
by
Contract and Unit Testing
PWAN:
a free OCL library.
Argo/UML:
a UML CASE tool. The OCL toolkit has been integrated with Argo/UML.
Klasse
Objecten: provides a list of OCL
tools.
Dresden
OCL Compiler
USE
system A
UML-based Specification Environment
UMLandOCL
Cybernetic
OCL Compiler
UMLAUT:
Unified
Modeling Language All pUrposes Transformer
Bertrand
Meyer
Assert
experiments Karlsruhe
Empirical
Informatics Research Group
1st Workshop on
Runtime
Verification 2001
2nd
Workshop on Runtime Verification 2002
3rd
Workshop on Runtime Verification 2003
Network
Anomaly and misuse detection
Testing
Test
cases
Jikes
Jacks
GNU
regression test framework from DejaGnu
Web
App Functional & Regression Testing - LogiTest
Classiq
for Java
Flex
Compiler
tests
IBM
Java Test Case Driver (Jate)
Codework.com-
JCover Codework.com
-
JEvolve
Subjects
Siemens
Programs Daikon
Modified version
Programs
for Evaluating
Software Testing Tools and Techniques (PESTTT)
Unit
testing
Open
source testing
Xprogramming.com
-
Unit testing framework
JUnit
Wiki
Junit.org
junitdoclet
Jxunit
- Building Suites of Test Data with XML
JUnit
Extensions
Jtestcase
JFunc:
JUnit Functional Testing Extension
Jester
- a JUnit test tester Jester
Jwebunit
JUB
(JUnit test case Builder)
CppUnit
- C++ port of JUnit
Enhancing
Junit
Extreme-java
JUnitX
5.1
XPTest
2.2
Virtual
Mock Objects using AspectJ with JUNIT
code
Jakarta.apache
-cactus
JUnit
Quilt
- coverage tool
jcrasher
-automates
the tedious coding of JUnit testcases
hansel
- residual coverage tool
nounit
- unit test measurement tool
GretAnt
is a tool to integrate Gretel into ant
Junit
extensions
Exacum
Software
Testing Automation Framework (STAF)
Castor
Test Framework for JDO (CTF-JDO)
JAX:
Systematic Java Testing with JUnit and Axioms
An
Informal Formal Method for Systematic JUnit Test Case Generation
pubs
David
Stotts lindsey
Jax
jax
testing
Grandtestauto
ALLPAIRS
Test Case Generation Tool
Testing
XP
articles
Pattern
Testing using AspectJ Virtual
Mock
Objects using AspectJ with JUNIT
Test
flexibly
with AspectJ and mock object
Cactus
- A test framework for unit testing server-side java code
Cricket
Cage- Unit test by AspectJ
Retrofitting
unit
tests
netbeans
testing tools
GSBase:
A library of Java classes
xtest.netbeans.org
Design
by
Contract and Unit Testing
marathonman
Diagnosing
Java code: Unit tests
and automated code analysis
working together
Gnu.org-
dejagnu developerWorks
:
Java testing tools java.about.com
-
testing tools JSurfer
-
testing tools
Utest
- Java testing harness for use in automated or stand-alone testing
GCJ
- Testing
mccabe.com
-Release rocket verify
Test
flexibly
with AspectJ
Integrisoft.com
Segue.com-
Silk
tesing tool
MAN
MACHINE SYSTEMS JEvolve
JEvolve-Java
Regression Testing tool
Drexel
U SE Group
Mockobjects
-endotesting
Endo-Testing:
Unit
Testing with Mock Objects
ObjectMother
Easing Test Object Creation in XP
Incremental
development with Ant and JUnit
Diagnosing
Java Code: The Null
Flag bug pattern
JUnit
for Java test cases.
Artima
SuiteRunner A
Tool for
Conformance and Unit Testing for Java APIs
Test
Mentor for Java.
The
Linux Test Project Open Source
Logitest.sourceforge
- web application testing tools
OO/Component
Testing:
Component
Testing Strategies ics221
Software
Component Lab Component
test
bed xml.coverpages.org
Software
component
testing techniques, methods and strategies
Rational
Quality
Architect whitepaper: Component Testing
Bean-test:
EJB
Performance Testing Tool
Link
Collection
on Component Development Environments
Mauro
Pezzè
Gerhard
Fohler
John
McGregor (Clemson) korson-mcgregor
Il-Hyung Cho
Henry
Muccini - architecture-based testing
Logiscope
LOGISCOPE
DOC Best
Java
Testing Tools
CCover
Cantata++
Cantata
ldra
Panorama-2
softwareautomation
Testworks
Concerto-AUDIT
No
download
TrackStudio
- Hierarchical issue tracking software
GUI
Testing
Android
Language
Support
Cyclone:
a C-like language to prevent unsafe behavior (buffer overflows,
dangling
pointers, format string attacks, and so on).
Safe-C:
an optimizing C-to-C compiler which implements the extended pointer and
array
access semantics needed to provide detection of memory access errors in
unbridled
C codes.
Vault
and Cyclone are safe languages built on C. Vault has extra annotations
for
tracking resources; it uses a combination of type checking and
annotations to
guarantee safety
TAL
and PCC
are systems for attaching proofs to code; the proofs may be
automatically
generated by compilers for safe languages, and are checked before the
code is
executed.
RC:
David
Gay's region compiler. RC is a dialect of C that adds
safe,
region-based memory management to C.
Nimbus
environment UMN
Proof-Carrying
Code by Berkeley
Necule
(the Verification Condition Generator (VCGen)-based tool)
Workflow
& Business Process Reengineering
Introduction:
Workflow:
An
Introduction in The
Workflow
Handbook 2001
Workflow
Module Guide
Intelligent
Workflow
- State of the Art in Workflow
Workflow
Standards from Workflow Management Coalition
Workflow
Reference
Model.
Workflow
Terminology
& Glossary
What
is
BPR
BPR
Tutorial Series Business
Process
Improvement Handbook
werkflow:
Java Workflow Engine Werken
blissed:
Java State-Machine Framework
werkz:
Java Goal-Oriented Process Framework
drools:
Java Rules Engine
Organizations:
The
Workflow
Management Coalition
Workflow And Reengineering
International
Association
e-workflow
- the workflow portal
Business
Process Management Initiative (BPMI.org) - Members include
Avaya, BMPL
Worflow
Patterns-a repository for workflow modeling patterns
VoiceXML/XML &
Petri Net & Workflow
VoiceXML
Forum
VoiceXML 1.0 VoiceXML
Specification VoiceXML
Element
Reference
Voice
XML Links
Interactive
VoiceXML Tutorials VoiceXML
Review
Early
Adopter
VoiceXML (book) VoiceXML
Tellme Studio
Nuance
Voicexml
Nuance
Voice Site Staging Center
Community
Voxeo
BeVocal
Cafe
PEP
(Programming Environment Based on Petri Nets).
VoiceXML IDE:
VoiceGenie
Developer
Workshop Nuance
VBuilder
Desktop GUI Developer's Tool Nuance
VoiceXML
IBM
WebSphere
Voice Server SDK
Motorola
Mobile
Application Developer's Kit
Motorola
Mya
Voice Platform
Sisl
Triveni
Course:
Interactive
Services Programming
Xml.coverpages
XML-Based
Workflow [Process
Management] Standard: Wf-XML
XML
for Workflow Management [NIST] SWAP
-
Simple Workflow Access Protocol
Workflow
XML Standard O'Reilly's
XML.com
XML.org
Wil
van der Aalst - Petri-Net and Workflow Research
XRL-
Exchangeable Routing Language XRL
links
PetriNets
World Petri
Nets Workflow
Business
Process Modeling Languages
Business
Process Modeling Language (BPML) by BPMI.org
covers
dimensions of business process modeling that are specific to
processes
internal to the enterprise, including business rules, security roles,
distributed transactions, and exception handling.
ebXML-e-business
XML- an open XML-based infrastructure enabling the global use of
electronic
business information
defines
all the layers in the web services stack. That includes
categories:
such
as registries, business process modeling,
service descriptions, and
transport/packaging/messaging.
Biztalk- by Microsoft
using XML for Enterprise
Application Integration (EAI) and (B2B) document exchange
define all
the layers in the web services stack includes:
Registries
(UDDI):UDDI-
Universal Description, Discovery and Integration creates a framework
for
describing services, discovering businesses, and integrating
business
services
using the Internet
Business modeling languages (X-Lang): XLANG:
Web
Services for Business Process Design
Service
descriptions (WSDL): Web
Services Description Language
(WSDL) & Doc
Transport/packaging/messaging(SOAP):
XAML
Transaction Authority Markup Language is targeted at coordinating
business
transactions that span web services crossing corporate boundaries
Rosettanet-Consortium
to
create and implement industry-wide, open e-business process standards
Links
Links:
Programming
Languages in Process Modeling Domain maintained by Tao
Workflow
Software List
Workflow
Links
Workflow
Management
Resource Links
Workflow
Resource
Brint.com-
BPR Link
DMC
BPR Links
bpr-helpdesk
compinfo-center.com-BPR
Financeproject.org-businessprocess
BPR
LInks
Tripod.com
Business
Process Links
CLIPS
Research
Projects:
Marco
Torchiano Instance model
Micro-workflow.com-
Dragos Manolescu
Workflow
Research in U Mass DB
Workflow
Management Research in Milan Polytechnica Italy
Business
Processes Resource Center
Almaden.IBM
Exotica project
Workflow
research
in at
wftk:
Open-source workflow toolkit
Smart
Workflow for Collection Management
HK
City Univ-BPR
U
TorontoBPR
Advisory
South
Carolina BPR
BPR
glossary GAO
BPR
Assessment Guide
Eindhoven
Digital Laboratory for Business Processes
Politecnico
di Milano workflow
management Giuseppe
Pozzi
HP
Fabio Casati
NSF
Workshop on Workflow and Process Automation in Information Systems
Products:
Lucent
Customer Relationship Management Central 2000 -
Customer Relationship
Management
Quintus
eContact™ Suite - Customer Relationship
Management
Avaya
Conversant
Voice@Work
International Software
Process Constellation Co.
- PASTA PASTA
Book
(Chinese version)
Processmodel
Arsdigita
- acs-workflow open source ACS
Woflan-
A Petri-net-based Workflow Diagnosis Tool- Downloadable
Protos
(Pallas Athena)
COSA
Tibco
in_concert by TIBCO
Exspect
Business
Process Automation/IT Research in Academia
NYU
Information
System Dept.
U
Pitt MIS
U
Mich CIS UIUC
CBA
CMU MISM
U
Penn Wharton EBusiness Harvard
Business
Tech and Oper
Management U
Washington
Berkeley Berkeley
citm Berkeley
BPR MIT
Process Handbook MIT
ebusiness MIT
CISR
South
Carolina BPR GIT
GIT BPR
Software
Process
International Software
Process Constellation Co.
- PASTA PASTA
Book
(Chinese version)
IESE
Spearmint
SEI
Software Process Automation
Process
Definition
Guidebook by Lockheed
Martin
Federal Systems DARPA Soft Tech for Adaptable, Reliable Sys
(STARS)
Software
Process Improvement Guidebook
A
STARS Case Study in Process Definition
Process
Definition
in Software Product Line
Summary
of Software Process Models
Process
Asset Library
Links:
Brad
Appleton's
Software Process Links
Software
Process Resources in U Mass Dartmoush
Process
Examples:
Microsoft
Solution
Frameworks MSF
in
Chinese
Open
Source-
the Cathedral and the Bazaar Raymond's
annotated
``Halloween Memos''
Extreme
Programming
Armaties'
Extreme Programming
C2's
Extreme Programming
The
New Methodology
Researchers
& Projects:
Austin's
Dewayne E. Perry
International
Software Process Association (ISPA)
UCI
Endeavors Future
Endeavors
Workflow
and Process Programming in U Mass
Gianpaolo
Cugola-
Deviation in Software Process
Fuggetta
Ghezzi 's Software Process Research
Elisabetta
Dinitto Alfonso
Fuggetta
Gregor
Joeris- OO Process
Euro
GoodStep
Project
SOCCA
Project
EPOS
Dynamite
Project
- UML
Knowledge-Based
Software
Process (Re)Engineering in USC
U
Pitt Chris Kemerer
Integrative
Specification
of distributed Production Control Systems
Wilhelm
Schaefer
International
Workshop on Feedback and Evolution in Software and Business Processes
2000
UMass's
Little JIL - Process Language in U
Mass Laser
Expert
System for Program and System Development- A Process-Centered Software
Engineering Environment
Cooperative
Agents in a Global Information Space
Soft
Eng Group in Norway
ISPW-6
SOFTWARE PROCESS EXAMPLE
CMU
SE
Master Program Process Courses
Models
of
Software Systems (CS17-651) 2000 Fall
Methods
of Software Development (CS17-652) 2000 Fall
Managing
Software Development (CS17-653)
All Courses
Architecture
of Software Systems (CS17-655)
Analysis
of Software Artifacts (CS17-654)
Seminar
in Software Process (CS17-690)
Software
Process Definition(CS17-615)
Personal
Software Process
All
Courses
davidfrico.com-
Software Process Improvement
Software
Product Lines Site
Biglever Software Inc.
Biglever
tech reports & case studies
David
Weiss Birgit
A
Geppert at Software
Technology
Research Department, Avaya
Lab
Research
Mark
Ardis
Ardis'
Papers on
Product Line
Bell Lab's
Audris Change
Analysis Audris
Papers Audris
at
Avaya Labs Research
MR
Data
Analysis CMS Ping
Zhang
International Software
Process Constellation Co.
- PASTA PASTA
Book
(Chinese version)
Truescope-Tech Co.
Prosperity
Heights Software's
Domain-specific Engineering by Grady Campbell
CMU
SEI Product
Line Systems Overview
CMU
SEI Product Line Systems Program
CMU
SEI
Product Line Framework Product
Line
Scoping Scenario
to
use Framework
CMU
SEI
Domain Engineering
CMU
SEI FODA Paul
Clements
Software
Engineering Institute (SEI) Software Product Line Practice Initiative.
IESE's PuLSE
IESE's
Software Product Lines
and Reengineering Course Winter 2000/2001
IESE's
Re-
and
Reverse Engineering Course Winter 1999/2000
Fraunhofer
Institute for
Experimental Software Engineering, Product Line Development.
Will Tracz's DSSA
Owego
Gomaa's
Domain
Modeling for Software Reuse and Evolution
GMU
Knowledge-based SE
STARS
Boeing
STARS Domain Engineering Papers
Organizing
for Domain Engineering: Getting Started
Framework
Evolution
and Support Project- Building an Experience-Base for a
Product-Line
Software Development Process
Shanghai
Bellsoft
- Software Product Line Tools
Yamacraw project
at Southern
Polytechnic State U.
Hany
H. Ammar at West Virginia U.
Mike
Mannion
Glasgow Caledonian
UK
Tarja
Systä Java Dynamic Reverse
Engineering ARCHIMEDES
: Managing Product-line Software Architectures
Software
Product
Lines of Multiagent Systems at U. Seville
Value-Based
Software
Engineering for Small Business By
Stuart
Faulk, David Raffo & Robert Harmon
The
Economics
of Product Line Development
Investment
Analysis
of Software Assets for Product Lines
ESI Euro
Software Insititue -
Product Line based Reuse Praise
project Record
Project
Sherlock
Project-A
Methodology for Developing Software Product Lines in U Alberta
Holmes
Project- A Tool to
Support the Development of Software Product Lines in U Alberta
Jan Bosch
Software
Engineering Research group at the University of Groningen
Bosch's
book- Design and Use of
Software Architectures - Adopting and Evolving a Product-Line Approach
Bosch's
publication
Jilles
van Gurp's
publication
Robyn R.
Lutz Iowa State U.
Jeffrey
Poulin
Poulin's
papers
on product line The
Economics
of Product Line Development
HP Reuse work
Martin
Griss's Papers on Product Line
Software
Metrics For
Product-Line Architectures @ West Virginia U.
Maryland's
Experience
Doman
Analysis
Maryland
Experimental Software Engineering Group
USC
DSSA
USC ISI
Division
Alexander Egyed
(Teknowledge)
USC's
Robert Balzer 's Software
Sciences
Division
Teknowledge-Robert
Balzer Teknowledge.com
DAML
Rob
van Ommering
(Philips Research Laboratories)
Infy.com
- Whitepapers
Ph.D.
Dissertation-
Verification and Validation in Software Product Line Engineering-
Edward Addy
Krzysztof
Czarnecki Survey
of
Domain Engineering work Generative
Programming
Austin's Don
Batory
Product-Line
Architecture
Research Groups
Dewayne
E. Perry's Product
Line Architecture Paper
Architecture
Paper
2
USC's
Product
Lines and Product Families Architecture
SobertIT
Software Business and Engineering Institute Product Data Management
Group
Product
Line
Architecture Link
Bill
Frakes' Domain Engineering Course
Component-based
Software
Development Related Courses
Software
Architecture
Course in Seattle Univ.
Synthesis-Based
Software
Architecture Design PhD Thesis by Bedir
Domain
Engineering
Survey
ESAPS Project
Cafe
@ ESI Project
Cafe
@ Philips Project
3rd
Software Product Line Conference
(SPLC3) 2004
2nd
Software Product Line
Conference (SPLC2) 2002
1st
Software Product Line
Conference (SPLC1) 2000
Dagstuhl
Seminar- 2003 Product Family Development
Fifth
International Workshop on Product Family Engineering PFE-5
2003 ESAPS
-
workshops
International Workshop on
Product Line Engineering The Early Steps: Planning,
Modeling, and Managing PLEES
03 PLEES
02
PLEES
01
International
Workshop on Requirement Engineering for Product Lines (REPL 02)
Proceedings
Software
Product
Lines: Economics, Architectures, and Implications Workshop at
ICSE
2002 Proceedings
at
ICSE 2001 Workshop
Proceedings
at ICSE
2000
2nd
Domain
Engineering Workshop
DEXA
2000
Workshop on Domain Engineering
1999
Workshop on
Object Technology for Product-Line Architectures
2000
Third International
Workshop on Software Architectures for Product Families
2000
Workshop
on
Generative Techniques for Product Lines
2001
Workshop
on
Generative Techniques for Product Lines
1997
1st Workshop on
Domain-Specific Languages
Managing
Variability in Domain Engineering using OO Technology Workshop 2001
Workshop
on Software Variability Management 2003
RESG: Requirements
Engineering Specialist
Group of the British Computer Society
Papers
Software
Product
Lines-A New Paradigm for the New Century- Paul Clement
Report
of
the "Reuse and Product Lines" Working Group of WISR8 - Paul Clement
Process
Support
of Software Product Lines- Barry Boehm
Online
book:
Organizations,
Components, and Metrics: Foundations for an Engineering Discipline of
Software
Reuse" by Mili, et cl
Domain
Engineering Links
Ardugas's
Domain Engineering Links
DSSA
related
projects DSSA
for
GN&C project
Product
Line
Link Resource
Product Line
Management Resource
VT's William B. Frakes
Clemens
Szyperski
Lockheed
Martin's Will Tracz
Jeffrey
M. Voas
Reuse Group
ReNews - An
electronic software reuse and Reengineering newsletter
Committee
on Software Reuse
Annals
of
Software Engineering - Reuse Volume
Reuse
Conferences and Workshops
BCS
specialist group on reuse
Reuse
Organizations
Reuse
Tools
Reusable
Assets
Software
Reuse Initiative
Heinz
W. Schmidt DSSE
Projects
- TrustME
Aspect-Oriented
Middleware
for Context-Sensitive and Dynamic Customization of
Distributed
Services - lasagne Eddy
Reuse
Reading Summaries
Reuse
Links
CMU's
Composable
Systems
OSU's
Reusable Software Research Group
(RSRG)
Software
Composition Group
Software
Evolution & Reuse Project
REBOOT
(Reuse
Based on Object-Oriented Techniques)
Generative
and
Component-Based
Software Engineering
OSU's
ARPA
Project
Component-based
models
and
software architectures
HP's Systematic
Software Reuse & Component-Based
Software Engineering Martin
Criss
SURPRISE
Software Reuse Project
SURPRISE:
A survey of
the possibilities of reuse in software engineering
Generative-programming.org
Software
Componentry
Component-Based
Software
Engineering for Developing Countries
Component-Based
Software
Engineering Group, Fukazawa Lab
OMG.org
Distributed
Systems
Group Architecture
Recovery
Design
Pattern
Detection
Software
Reuse Resource Center
Component-based software
engineering (CBSE) Web
site
Component-Based
Software
Re-engineering
REBOUND:
REuse
Base On UNDerstanding
The
Component-based Development Headquarters
International Conference on
Generative Programming
and Component Engineering
1st
International Symposium on Generative
and Component-Based Software Engineering 1999 (GCSE )
Second
International
Symposium
on Generative and Component-Based Software Engineering
2000(GCSE)
International
Conference
on
Software Reuse (ICSR-6)
International
Conference
on Software Reuse 2002 (ICSR-7) ICSR
-
Young Researchers Workshop
Symposium
on Software
Resuability (SSR'01 at ICSE'2001)
Symposium
on Software Reusability
(SSR'99)
4th
ICSE Workshop on
Component-Based Software Engineering Position Paper
EURO
Component-Based Software Engineering
2003
Software Composition
Annual
Workshops
on Institutionalizing Software Reuse - Online proceeding available
2nd
ECOOP
Workshop on Object Interoperability - papers and slides available
Colorado's
course: Component-Based
Software Systems
Component-Based
Software Development
Course
Component
Based Software Engineering Course
Clemson's
Component-based Software
Engineering course
Component
Based
Software
Engineering Course - State of the Art report
Component
Based Software Development for the
Internet- Thesis
Component
Based Software Engineering By
Faisal Siddiqui
Component-based
Software
Development (Fall 2002 Course)
Component
Software
Course
Component-Based
Software
Engineering course
Link
Collection
on Component Development Environments
Piccola
— A Small
Composition Language http://wwSoftware
Composition
Grou
Cetus-links.org's
oo_reuse link
Online
book:
Organizations,
Components, and Metrics: Foundations for an Engineering Discipline of
Software
Reuse" by Mili, et cl
Architecture/Design
Pattern/Reuse
Links
Component
Software
Resources
Component
source.com
Design
Patterns
and Related Papers
Patterns
Home Page Books
about
Patterns
DesignPatterns
Design
Pattern
Tool Support
The
Design Patterns Study Group of New York City,
DB&LP:
James
Coplien
DB&LP:
Grady
Booch DB&LP:
Ivar
Jacobson
DBLP:
Brian
Henderson-Sellers
Patterns series Book
Dr.
Dobb's Patterns and Object-Oriented Design
UIUC's
Design
Patern-Aamod Sane
UIUC's
Ralph E.Johnson 's UIUC
patterns/Software Architecture Group and frameworks
IBM
Research
Design Pattern John
Vlissides
Dr. Dobb's Journal's 1998 Excellence in Programming Awards
Amnon
H. Eden @ Concordia.ca
Junit.org
Design
Pattern for Adaptable Software
Cetus-links.org's
oo_frameworks
link
Cetus-links.org's
oo_patterns
link
Cetus-links.org's Architecture and Design
B.
Meyer
(ETHZ, Zürich, Switzerland):
Architecture/Design
Pattern/Reuse
Links
Michael
Jackson
Pamela
Zave AT&T Lab
Carl
Gunter
Alexander
Egyed Teknowledge Co.
Connie
Heitmeyer SCR method
Task
Force on Requirements Engineering Home Page
RESG:
Requirements Engineering Specialist Group of the British Computer
Society
Requirement
Engineering
Resources
Software
Spec Course at KSU
Software
Specification:
A Comparison of Formal Methods
book
Online
Proceedings of First
International Workshop on Model-based Requirements
Engineering
AsmL
@MSR
Static
Analysis
of Embedded Software: Problems and Perspectives
slides
EMSOFT
01
slides
Embedded
Systems: Challenges in
Specification and Verification slides
EMSOFT
02 slides
Testing
embedded
systems
IEEE
Real-Time Computing - provides an exhaustive list of
real-time resources on
the internet.
Alan
Shaw UW
course
553 Real-Time Systems
David
Parnas Dennis
K. Peters
Requirements-based
Monitors
for Real-Time Systems
U
Waterloo Monitoring Real-time Systems
Projects
and Publications at Odyssey Research Associates
<
href="http://www.uppaal.com/">Integrated
tool environment for modeling, validation and verification of
real-time
systems-
Uppaal
MIT
Flex Project &
Composition for Embedded Systems Using Semantic Aspect Oriented
Programming
DARPA
Flex-compiler
Kestrel
Institute
ACES: Aspect-oriented Composition of Embedded Systems
DARPA
Aspect-Oriented
Real-Time
Java @ Washington
U.
Program Composition for Embedded Systems
FACET-
Framework for Aspect Composition for an EvenT channel
AspectC++
Dipl. Inf.
Andreas Gal
JAC
(Java Aspect Components)-A
flexible framework for
Distributed & Dynamic Aspect-Oriented Programming in Java
JAC
Aspect-Oriented
Research
on Composition Filters
Aspects
in Real-time Embedded Systems (AIRES) QuO
Aspects
in Real-Time Embedded
Systems
Aspect-oriented
runtime
environment (ALU)
PUMA
- the Pure Manipulator Daniel
Mahrenholz
TOS
(for Tcl Object System) a class-based reflective language written with
Tcl
that provides aspect-orientation for distributed
programming
Automatic
Derivation,
Integration and Verification of Synchronization Aspects in
Object
Oriented Design Methods
Aspect-Oriented
Software
Engineering of Concurrent Systems in Java
Multi-dimensional
separation
of concerns- HyperSpaces
HyperJ
COOLs
Constantinos
Constantinides
David
Holmes
Real-Time
Specification for Java
Embedded
Real-Time
Systems (UML/RT)
Real-Time
Extensions
to UML
Mapping
Architectural Concepts to UML-RT - CMU Architecture-based
Adaptation
of Complex Systems
Rational
Rose Real-time
Inria
projects
OSU
Specification
and Verification Issues in OO and Distributed Systems
JAC-Java Aspect
Components JAC
ComposeJ
AspectC++
AspectJ
AspectJ
discussion Old
progguide
HyperJ
Specification,
Synthesis, and Verification of Embedded Sysems
Project
Web
JST-
An Object Synchronization Aspect for Java publications
Aspect-Oriented Software
Development Web-aosd.net
Aspect-Oriented & Separation of
Concerns Links
AOP
resources
Workshop
on Composability Issues in Object-Orientation 1996
S.
Reitzner
Papers
Barry
R. Pekilisttp
SWEN UWaterloo
Concurrent
Programming
Using Java Online books Source
Code
Bandera
project
tutorial Bounded
Buffer
Example
Operating
Systems
Examples
CSC
380
-- Source code for textbook examples
Monitors
Solutions
AOP
ABB mouse logging example
Krzysztof
Czarnecki Survey
of
Aspect-Oriented Programming work
Aspect
Coordination
Java Synchronization
Can
you
lock class-level static variables
AspectJ
article
AspectJ
article
Concurrent
Programming in Java Supplement- Doug
Lea
Concurrent
Programming
in Java Draft- Doug Lea
Websoft:
Building a Global Software Engineering
Environment in UCI
Agent-based
software
engineering in UK
Siena
(Scalable Internet Event Notification
Architectures) in Colorado
MILOS
in Calgary
<
href="http://www.research.att.com/~chen/webciao/">Analysis
tool for HTML code. Developed at Bell Labs- WebCiao
MIT's
course: Software Engineering of
Innovative Web Services
Calgary's
course:
Software
Engineering for Internet Applications 2000
1999
UCI's
course: Internet-Scale Software
Engineering by David
S.
Rosenblum
Complex
Event
Processing at Stanford
Colorado's
Alexander L. Wolf 's Software
Engineering
Research Laboratory
Distributed
Software
Engineering Group in U
London Prof.
J.
Kramer
WebEngineering.org
Community
UCSB
Vigna's WWW SE research
Maryland's
Combining
and
Analyzing Distributed Data Combining and Analyzing
Distributed Data: WebMEWebme
Columbia's
Gail
E. Kaiser groupspaces (Internet-scalable hypermedia
collaborative information
management environments and tools)
Colorado's
Alexander L. Wolf 's Software
Engineering
Research Laboratory
MSU's
oftware Engineering and Network Systems
Laboratory
AT&T Lab Research Yih-Farn
Robin
Chen
ICSE00
Workshop
on
Software Engineering over the Internet
ICSE99
Workshop
on Software
Engineering over the Internet
ICSE98
Workshop
on Software
Engineering over the Internet
Software
Engineering
on
the Internet Workshop (SEOTIW) 2001
Paper:
Software
engineering and the Internet: a roadmap
Component
Based Software Development for the
Internet- Thesis
Software
Engineering for the World Wide Web (Fall 2002 Course)
MSR
2005: International Workshop on Mining Software Repositories
MSR
2004:
International Workshop on Mining Software Repositories
Knowledge-Based
Software
Engineering in UIUC
Knowledge
Based Software Engineering
(KBSE) Lab in Cincinnati
Knowledge
Based SE in SFU Ca
Larry
Kerschberg's research in Geroge
Mason
Knowledge
Based
Reverse Engineering
Knowledge-Based
Software
Process
(Re)Engineering in USC
The
Automated Software Engineering Group
REBOUND:
REuse
Base On UNDerstanding
Automated
Software
Engineering
1997
4th
Knowledge-Based
Software Engineering (JCKBSE)
Knowledge-Based
Software
Engineering
1995
Fifth
International Workshop CIA-2001 on
COOPERATIVE INFORMATION AGENTS
Mining
Software Engineering Data: A Survey
Du
Zhang
Mohammad
El-Ramly Eleni
Stroulia
UIUC
course:
Data
Mining for Security, Performance, and Software Robustness
course
Amir
Michail
Stabilizer
Bug
Tracking System: Quickly Stabilizing Buggy GUI Applications
GUISearch
Design
recovery tool for interactive
graphical applications
Association Rules/Other data mining
techniques:
eRose
tool
from Saarland University by Andreas Zeller download
A
similar tool
by Annie Ying described in their TSE paper: Predicting
Source
Code Changes by Mining Change History
Codeweb CVSSearch
Mohammad
M.
F. El-Raml Interaction-Pattern
Mining:
Extracting Usage Scenarios from Run-time Behavior Traces
Reverse
Engineering
reading
Christos
Tjortjis Paul
Layzell
Rakesh
Agrawal
Structure knowledge discovery:
The
Knowledge
Discovery System - subdue @ UT Arlington
MSR
WinMine Toolkit David
Maxwell Chickering
Timeweaver
A
suite of tools for solving event prediction problems
Forrest
Latent Semantic Analysis
Yunwen
Ye
- System Codebroker
Procssi
PROgram
Comprehension Combining Semantic and Structural
Information Software
Development Lab Kent U
SAS
- Semantic Analysis of Software
Data
Cleansing Automated
data
cleansing
Clustering:
program-transformation.org
-Cluster
Analysis
Kamran
Sartipi ALBORZ
(Software
Architecture Recovery Tool): experiments
Margot's
pubs Margot
LSU
Reverse
Engineering
Knowledge
Based Reverse
Engineering Group (KBRE) (Clustering..)@ U Ottawa
Timothy
Lethbridge's publications Timothy
C.
Lethbridge Knowledge
Based
Reverse Engineering Group (KBRE)
Periklis
Andritsos
Data
Mining -Structure Discovery U Toronto
Supporting
Maintenance
of Legacy Software with Data Mining
Stan
Marwin Machine learning in program understanding
William
Cohen Devanbu
papers
Course
- Design Recovery and Automated Evolution
Reverse
Engineering
Using AI Hongji
Yang
Rule-Based/ Concurrent
Constraint Languages
JESS
(Rule Engine)
Drools
werken
ilog
-JRrules
Haley-
eclipse
CLIPS
- expert system
CHR
JCK
Java
Constraint Kit
JSolver:
a pure Java development tool that adds integer constraint programming
capabilities to Java
JCL
: a Java Constraint Library to solve binary constraint
satisfaction problems
E - Langage-erights.org
Vijay
Anand Saraswat Concurrent Constraint Programming in Java
OZ-
Mozart The
Mozart
Triveni
Declarative
Meta
Programming pages, and the SOUL
JQuery
Rules
links Rule
links
CBA
:
Classification Based on Association
CMU
Intrusion detection using data mining
Active
Learning
Active
learning
of program behavior at Georgia Tech
Software
Testing
by Active Learning for Commercial Games at U. Alberta
Active
Learning
in Verification@UIUC Actively
Learning
to Verify Safety for FIFO Automata
non-SE active learning
Dags-
Active
Learning Project at Stanford Stong
Hasenj
Closed-loop
Machine
Learning
courses: ML03
ML02
UTML03
UT
Austin seminar
Planning
Planning-based
GUI testing
Data
Mining
- Structure Discovery
An
Approximate Search Engine for Structure
Software
Fuzzy
logic
Open
source
Fuzzy Engine for Java
Concept Analysis:
program-transformation.org
-
Concept Analysis
Gregor
Snelting Frank
Tip Software
System
Chair KABA software
Christian
Lindig
Concepts
analysis
software Concept
for
Python
Thomas
Reps
Paolo
Tonella OO
design
pattern inference
Software
Correctness
and Safety Research Laboratory (SCAS)
WPI
KDD
Reverse
Engineering
and System Renovation - An Annotated Bibliography
Genetic
Algorithm
Java
General
Genetic Algorithm Tool (available for download)
The
Genetic
Algorithms Archive (with source code)
GA-List
Archive Genetic
Algorithms
The
Genetic
Algorithm Utility Library (GAUL)
GAGS
genetic
algorithm C++ class library home page
MIT-
A
C++ Library of Genetic Algorithm Components
SEMINAL
Data mining
software:
The
Use
of Java in Machine Learning
ML
software
and resources
Machine
Learning
Resources
Bayesian
Network tools
in Java (BNJ)
Data
mining
Java programs -weka
Spectral
clustering
for Weka
TreatmentLearner
TR2
Machine
Learning
Research Software
YALE
- Yet Another Learning Environment.
Java
Data Mining API—Spec
Machine
Learning Tools in Java (MLJ)
List
of
data
mining software
The
Knowledge Discovery System - subdue @ UT Arlington
Automatic keyphrase
extraction
Online
Software
for Clustering
Large-Scale
Data
Mining Course Project
Tertius:
a system for rule discovery.
Machine
Learning in Java (MLJ) Bayesian
Network
Tools in Java Developers
kddresearch
Resources
MLC++
Data
Mining Software
Software
for Data Mining
/ Web Mining
MSR
WinMine Toolkit David
Maxwell Chickering
MSR
JCLUSTER is a fast simple clustering program that produces
hierarchical,
binary branching, tree structured clusters
William
W.
Cohen
Data
Mining and Knowledge Discovery Tools kdnuggets
-
software
URL's
for
Data Mining
DM
Resources
Data
mining course - U. Washington
Data
Mining
for Security, Performance, and Software Robustness
- UIUC course
Course
-
Topics in Data Base System/Application: Data Mining
Links
Course
-
Applications of Artificial Intelligence: Data Mining
Jiawei
Han
and Micheline Kamber, Data Mining: Concepts and Techniques, Morgan
Kaufmann
Publishers, 2000
Data
Mining Resources
Nodelib,
a Neural Networks package and more
SVM
Light and SVMfu
Support Vector Machines (SVMs)
XmdvTool,
a public domain tool for interactive visual exploring of
multi-dimensional
datasets.
maxdView
visualisation tool.
Maryland's
Victor Basili
Maryland's Marvin
Zelkowitz
Maryland's
Adam Porter
Empirical
Software
Engineering Research - EFoCS Research Projects
ESERG
: Empirical
Software Engineering Research Group at Bournemouth University
Purdue's
Aditya
P.
Mathur
Purdue's
Jens Palsberg
The Laboratory for
Advanced Software Engineering
Research by Lori
Clarke
Lee
Osterweil
Virginia's
John
Knight
Arcadia
Project
Arcadia
at University of California,
Irvine (UCI)
Arcadia
at
University
of Colorado at Boulder (CU)
Arcadia
at University of Massachusetts at
Amherst (UMass)
U.
Hawaii
Hackystat - an experimental testbed for personal metrics validation
Experimental
Studies
in Empirical Software Engineering
Mcmaster
SERG
David
Parnas
Configuration
Management
Tools
Automated
Software
Engineering Measurement and Analysis class Hawaii
Experimental
Subjects:
MIT
TSAFE: Tactical Separation Assisted Flight Environment FIG:
Feed
Input Generator
Leavens's
ComS228 Pohl
book
code
Mozilla
Reverse
Engineering Project
Software
Guinea Pigs
Data
Structures and Problem Solving Using Java --Weiss Source Code
Siemens
Programs Daikon
Modified version
Programs
for Evaluating
Software Testing Tools and Techniques (PESTTT)
Siemens
Programs Modified
version
Bandera
case
studies S2aVES
project
(Specification, Synthesis, and Verification of Embedded Systems)
tutorial-examples
Java
Pathfinder examples
Self-checking
java
code
Vending
machine Java code assignment
Thinking
in Patterns code
Java
code exampleCode
Java
xml
Demonstration
Programs in Concurrency
-
State Models & Java Programs book
VerifiCard
Siena
-
(Scalable Internet Event
Notification Architecture)
Expectation-Driven
Event Monitoring (EDEM)
Data
mining Java programs -weka Spectral
clustering
for Weka
Korson-mcgregor
-
software
Karlsruhe
Empirical Informatics Research Group
An
Informal Formal Method for Systematic JUnit Test Case Generation
pubs
David
Stotts lindsey
Jax
testing
Doug
Lea's
package util.concurrent
Aspect-Oriented
Design Pattern Implementations
Threaded
Programs
Code Samples
Genealogy
Display
Program: A Larger Example of Use of STL
HEDC - HESSI
Experimental Data Center
Java
Structures book code
developer.java.sun.com
-
Code Samples
Apache
code repositories
FSA
system from UMass LASER
Advanced
Software Engineering course: Analysis and Evaluation at UMass
Automated
Teller Machine Simulator - uottawa
Software
by Gertjan van Noord algorithms
finitestate
Effective
Java code
Weiss
book code
Bug
Patterns in Java code
Java
Graph Base
Java
programs
in Software engineering book
kickjava.com
- Java API by example
Yale
U. CPSC 490 Special Projects
Junit
Source
code
for JUnit in Action junitbook
Mindview.net
Book code
CS2110
Engineer
Notebook:
An Extreme Programming Episode
Cours
Algorithmique et Structures de données II
Core
Java
Book Source Code Core
Java
source code
http://www.cogs.susx.ac.uk/local/teach/dats/DataStructures/
jakarta-commons/collections/src/test/org/apache/commons/collections
The
Mauve Project: is a collaborative effort to write a free test suite
for
the
Java™ class libraries
The
jutil.org project: the goal of it is to build a high-quality API for
general
utility code needed in many projects
apache
jakarta
java.apache
U
Penn Real-time Java Test Suite
Model-based
Test Generation
rtj.org
Examples
of nonproprietary code from ReelTwo jcleary/230
Examples
of test code from the mauve
project.
Have a look under gnu/testlet/java
for the beginning of some real examples of test code.
LinkedList
with
Junit TestSortedList
theparticle.com
Data
Structures 2nd
Edition with tests
tiling.org
San
Diego State University Java Library
java.datastructures.net
Levenshtein
Distance
Examples
for CS399J: Programming With Java
Crash
Course
in Using JUnit
javaboutique.internet.com/tutorials/UnitTesting/conclusion.html
Shopping
cart -
JUnitPrimer
Money
test
-testinfected
UMD
TerpOfficeV2.0
JDSL:
Data Structures Library in Java
Twine:
Scalable Intentional Resource Discovery for Pervasive Computing
Environments @ MIT
NMS Software
JDepend
- A Java package dependency analyzer with example JUnit test
cases
http://www.sdmagazine.com/columnists/martin/
http://basil.cs.uwp.edu/Classes/Cs475/
http://www.cs.unc.edu/~stotts/COMP204/junit/
Demeter/course/w03/w03.html
se-project
PLUGIN-README
JEvolve-
regression testing tool Clover
-
test coverage tool.
testingcraft.com
-project
Lecture
17:
Case Study: JUnit
www.3plus4software.de
http://udel.edu/~caviness/Class/CISC370-00S/example-progs/
http://www.scriptsearch.com/
Ballista
project
Linux
Test Project
Opengroup
test download
PCES
- Program Composition for Embedded Systems
U.
Hawaii BCML
geotools
mjc
Basic
Matrix
and Sparse Matrix classes Matrix
Classes
with Exceptions Test
Driven
Development and Refactoring G.
Roberts
class
Problem
Set
2: Implementing an Abstract Data Type 6.170
Problem
Set 2: Implementing an Abstract Data Type
Case
studies
UMD
cmsc433
finj.sourceforge.net
- test
MIT
Laboratory in Software Engineering
umd
findBugs/Eraser
tools
Testing
with JUnit
Test
driven development
Testdrivendevelopment/files/
opensourcetesting.org
qform.sourceforge
Unit
Testing
in Java book web
Repository
of Examples for Finite-State Verification Tools
tigris
SE450:
Object-Oriented
Software Development code
mousepushers
code
RoboTracker
Jemmy.netbeans
Forum for
Advancing Software engineering Education
Soft
Engineering
Courses in U Waterloo
Computing
Research Association Effective Teaching Resources
Microsoft
Research
Software Engineering Foundations
of
SE Software
Reliability Research Human
Interactions in Programming Microsoft
CSE Microsoft
Research Wolfram
Schulte Nikolai
Tillmann Rob
DeLine Tom
Ball Interns
(1)
IBM Research PL&SE Projects IBM Research Software
Research
Centers and Groups Security
Global
Security Analysis Lab Internet
Security
Group Java
Security Secure
Systems
Department Secure
Software
and Services Distributing
Trust
on
Internet Summer
students
(03/31) (2) Rational
Frank
Tip Peri
Tarr Annie
Ying Gary
S.
Sevitsky Clay
Williams
Avaya Labs
Research Software
Technology
Research Department Dave
Weiss Jenny
Li Work
(04/01)
(2)
Fujitsu Labs
(Software
Applications Validation Environment: SAVE, model checking
using JPF) Sreeranga
P.
Rajan Oksana
Tkachuk
NEC Research Institute
NEC Lab
Robust
and
Secure Systems Guofei
Jiang
ABB
Research Brian
Robinson Jiang
Zheng Aldo
Dagnino
Accenture
Technology
Labs Mark Grechanik
Qing
Xie
Google Labs Google
Research Jie
Ren Yuetang
Deng John
Penix
Agitar
Labs Agitar Marat
Boshernitsan
DeCoMo
Lab Dachuan
Yu Ajay
Chander Dinakar
Dhurjati Internship
Motorola Lab Michael
Jiang
Yahoo Research Chao
Liu
Sun Research Ann
Anderson
on XACML policy
Intel
Microprocessor Research Labs-Programming Systems Labs
Intel Research Kingsum
Chow
Coverity
GrammaTech
ASE Group in NASA
Ames Research Center ASE
Group Corina
Pasareanu Dimitra
Giannakopoulou JPF
JPL Lab
for Reliable Software Alex Groce IV&V CS Division NAS
Ames Center riacs JPL
Internship
SRI
International Computer
Science Lab System
Design Lab
NIST IT Lab
(internship program seems for undergraduate or one before getting into
graduate only) Internship
DOE
Labs
Los Alamos National
Laboratory (LANL) Internship
Lawrence Berkeley National
Laboratory (LBL)
ORNL Lab
Internship
Lawrence
Livermore National Laboratory (LLNL) CS
Group Internship
Sandia National
Laboratory (Sandia)
Argonne National
Laboratory (ANL) Idaho
National Laboratory
Pacific
Northwest National Laboratory (PNNL)
Johns
Hopkins University Applied Physics Laboratory (APL) Employment
Lockheed
Martin- System Integration- Owego Lockheed
Martin
Naval
Reseach Lab
IBM RTP (Rational
Performance Tester, redbook)
Kent
Siefkes David
M Chadwick
Microsoft RTP (Visual
Studio Team Foundation Server) Brian
Harry Doug Neumann (introduction)
HP
Lab Arch & Soft Component HP
Research Lab Trust
Security
and
Privacy Summer
interns
(03/01) (2)
Cisco Research
Symantec
SPARTA ISSO SPARTA
Reservoir Lab
Siemens
Research Lab
Oracle.com Omar
Alonso from
Database and Application Servers Group
Cigital
Labs (consulting positions)
Kestrel Institute
Semantic Designs,
Inc. Ira
Baxter
Xerox
PARC CSL Xerox
Palo Alto Research Security
and
Privacy Summer
interns
(02/14) (2)
Bell
Laboratories Computing
Sciences
Research
AT&T
Labs
Research Academic
Summer
Interns (01/15)
AR
Greenhouse Telcordia
Software
Visualization and Analysis Toolsuite Telcordia
ACM
Crossroads Internship Links
Information
related
to student internship agreements
Mike Ernst's Internship advice
Mike
Ernst's Getting an academic job advice
David
Notkin's getting a job advice
Programming
Interview questions
Cafeaulait
Java Links
Java
Resource
Java Performance Tuning
Research
Bookmark
Java
Product List
Java
Programming Resources
Java
Performance
& Testing Tools
Tips on Java
Performance Tuning
Capsule
Reviews
of JAVA tools
Java
Analysis, Optimization and Implementation References
Java
Development Tools-Profiler
Java
Optimization
Java
Programming Resources
C2J
Translator
C2J++,
C++ to Java translator written in Java
Toba: A Java-to-C Translator
PO
- Compilers & Translators
Harissa-
Java
to C
Javad:
A Java Class File Disassembler with source code
CASE
Tool
Index
CASE
Vender
Index
Javaworld
tool
list
Java Sable project
C++/Java
Benchmark
Java
Benchmark
Java
microbenchmarks
Java
Optimization Tools
Big
Links
for Java tools including parser, compiler, analyzer
Digital
Cat's Java resources: development tools
Java
Resource links
UCSB
Kkienle Links
Aspect-J,
a Java implementation of Aspect-Oriented
Programming from Xerox PARC.
Javable.com
JDK1.3 Document
Profiling
JVM
Paper
JVM
Project
JVM
Hotspot
CAST
Java
Analyzer
Online Java
class decompilerand obfuscator
Kevin's
Learning Java
Devcentral
Javadigest.net
Jakarta.apache.org
Concurrent
Programming
Using Java Online books Source
Code
Bandera
project
tutorial Bounded
Buffer
Example
Operating
Systems
Examples
CSC
380
-- Source code for textbook examples
Monitors
Solutions
Java
Verification
Workshop 2002
jguru
Jave
Patterns & Performance
Bitterjava
Resource Bitterjava
Oct Sept
Javaperformancetuning
Java
design
patterns relevant to performance
Java
Performance Tuning
AntiPatterns
Part
1.
Learn how to reduce program overhead and improve performance by
controlling object creation and garbage collection
Part
2.
Reduce overhead and execution errors through type-safe code
Part
3.
See how collectionsalternatives measure up in performance, and find
out how to get the most out of each type
Performance
Tuning
links in Javaworld
Java
Performance
Tuning: Chapter 4: Object Creation
Pattern
Recognition
on the Web
Java
Cookbook
-
Pattern Matching
Design
Patterns
for Optimizing the Performance of J2EE
SwTech.com
- Java Code Optimization Techniques
Diagnosing
Java
Code
Performance
Engineering Services
MAISA-Metrics
for Analysis and Improvement of Software Architectures
ObjectAssembler
2.0 Pattern
Component
Markup Language
Data
mining Java programs -weka
Machine
Learning
in Java (MLJ) Bayesian
Network
Tools in Java Developers kddresearch
Resources
MLC++
JESS
(Rule Engine)
E -
Langage-erights.org Vijay
Anand
Saraswat Concurrent Constraint Programming in Java
Data
Mining Software
Pattern
Recognition
on the Web
Online
Software
for Clustering
jUnit
Mini-Tutorial
jRelationalFramework
1998
1st Workshop
on Software and Performance
2000
2nd
Workshop on Software and Performance
2002 3rd
Workshop on Software and Performance
Java
Verificiation Workshop 2002
Java
Web Application
Securitywriters
Articles
Coding
IBM
Open Source Projects IBM
developerworks
海松宝
测
试管理中心 软
件测试杂货店 Alan工
作室 北
京测试交流会 测试工程师 飞
龙
IT之源
软件工程研究与实践论坛
软件工程研究中心 UMLChina 中国UML播
种机 UML论
坛 UML
China
杂
志
软件工程专家网
系统分析与软件工程 软件工程,项目管理资源与论坛 翔
软件工作室
新软件工程联盟 系统分析员之窗
软
件工程知识库 程
序员大本营
软件工程师 爱
乐门软件工程 FREE
PDF-based
newsletter for software development professionals
cmm在线
软件的需求
企业资源管理研究中心
Mrcase 软件工程网
R.S. Pressman &
Associates 软
件开发管理交流中心
QLW software
engineering website
China
ERP Software Engineering 模
法师的天堂 软
件工程师杂志
窗外软件工程
SE
document download 软
件工程专家 SE
Notes
通恒网开发平台
程序员之梦 软
件设计论坛
inetsoft-
soft_eng
link 太
平洋软件公司 铂
金公司 铂
金 CMM
tongtech.com's
middleware
中国项目管
理网 中
国项目网 GNU/Linux研
发中心 共创软件联盟
PMT Review
派美软件质量评论
大
家一起来建模 Aka
Aka 软件工程专刊
Rose
discussion IBM
China
Devloper Work
Knowledge
Discovery in Database in China CORBA
资源 SE-Chatter 开发
工
业工程俱乐部->软件
工程 世纪先锋
现代集
成
制造系统网络 —>
中科院软件所站点
中
国软件 朱怀阳
水木清华BBS-软
件工程版 程
序员知识库 钱
五哥论坛 编
程丝路
XML
中国论坛 IBM
China
Developer Work XML
专区 无
忧xml
Chinaasp xml
Aspcool yine
XML perl-xml
之
江 xml
VoiceXML
Forum J2EE
Chinajavaworld-j2ee
Minij2ee.com
Dot
Net & J2EEE Drivejava
- J2EE Benesino-
CMM
Consultant 数
据挖掘
IBM
Open
Source Projects IBM
developerworks
IT urls
SE Forum SE
Research Center UMLChina UML
Forum UML
China
Journal
21 Software
Engineering Expert Net System
Analysis and SoftEng Software
Enginering, Project Management HoverSoft
New SE Association System
Analyst Window SE
Knowledge
Base Programmer Site
Soft Engeer AiYueMen
Software FREE
PDF-based
newsletter for software development professionals
cmm online
Software Requirement AMT
Center
Mrcase SE Net R.S.
Pressman & Associates Software
Development
Management Communicate Center
qlw software
engineering website
China
ERP Software Engineering Heaven
for Modeler Soft Engeer
Journal
Outside
Window SE? SE
document
download SE Expert
SE
Notes
TongHeng Develop
Platform Dream
of
Programmer Soft
Design Forum
inetsoft-
soft_eng
link Pacific
Software
Co. Platium
China Platium
CMM tongtech.com's
middleware
China Project
Management Net China
Project
Net GNU/Linux
Develop
China Center Co-Create
Software League
Aka
Come to Model Aka
Aka
SE Journal Rose
discussion IBM
China
DeveloperWork PMT
Review
Knowledge
Discovery in Database in China CORBA
Resource SE-Chatter
Develop
Industrial
Club-SE Century
Pioneer Modern
Integrated
System Net—> Chinese Science Institue
China
Software William
Zhu SMTH
BBS-SoftEng
board Programmer
Knowledge
Base Qlw
Forum program
shilu
XML China
Forum IBM
China
Developer Work XML Section 51xml
Chinaasp xml
Aspcool yine
XML perl-xml
Zijiang
xml VoiceXML
Forum J2EE
Chinajavaworld-j2ee
Minij2ee.com
Dot
Net & J2EEE Drivejava
- J2EE Benesino-
CMM
Consultant Data
Mining
IBM
AMS
Reengineering
&
Evolution