Software maintenance management: changes in the last decade
Journal of Software Maintenance: Research and Practice
Efficiently computing static single assignment form and the control dependence graph
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient context-sensitive pointer analysis for C programs
PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Points-to analysis in almost linear time
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Assessing modular structure of legacy code based on mathematical concept analysis
ICSE '97 Proceedings of the 19th international conference on Software engineering
Eraser: a dynamic data race detector for multi-threaded programs
Proceedings of the sixteenth ACM symposium on Operating systems principles
Unification-based pointer analysis with directional assignments
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Analysis and Testing of Programs with Exception Handling Constructs
IEEE Transactions on Software Engineering
Computer
Software Reflexion Models: Bridging the Gap between Design and Implementation
IEEE Transactions on Software Engineering
Locating Features in Source Code
IEEE Transactions on Software Engineering
An Intermediate Representation for Reverse Engineering Analyses
WCRE '98 Proceedings of the Working Conference on Reverse Engineering (WCRE'98)
Analyzing xfig Using the Bauhaus Tool
WCRE '00 Proceedings of the Seventh Working Conference on Reverse Engineering (WCRE'00)
A TAXONOMY OF RACE DETECTION ALGORITHMS
A TAXONOMY OF RACE DETECTION ALGORITHMS
RacerX: effective, static detection of race conditions and deadlocks
SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
WCRE '03 Proceedings of the 10th Working Conference on Reverse Engineering
Static object trace extraction for programs with pointers
Journal of Systems and Software - Special issue: Software reverse engineering
Comparison and Evaluation of Clone Detection Tools
IEEE Transactions on Software Engineering
Teaching software engineering with ada 95
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Tool users requirements classification: how software visualization tools measure up
AFRIGRAPH '07 Proceedings of the 5th international conference on Computer graphics, virtual reality, visualisation and interaction in Africa
RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Dynamic analysis of Ada programs for comprehension and quality measurement
Proceedings of the 2008 ACM annual international conference on SIGAda annual international conference
A tool for design pattern detection and software architecture reconstruction
Information Sciences: an International Journal
An architecture-centric approach to detecting security patterns in software
ESSoS'11 Proceedings of the Third international conference on Engineering secure software and systems
Software security aspects of Java-based mobile phones
Proceedings of the 2011 ACM Symposium on Applied Computing
Detecting high-level synchronization errors in parallel programs
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
The role of coordination analysis in software integration projects
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
Static versioning of global state for race condition detection
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Idea: towards architecture-centric security analysis of software
ESSoS'10 Proceedings of the Second international conference on Engineering Secure Software and Systems
Framework for recovery and analysis of behavioral architectural views
Proceedings of the 6th Euro American Conference on Telematics and Information Systems
Automotive ADLS: a study on enforcing consistency through multiple architectural levels
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Practical Integrated Analysis of Pointers, Dataflow and Control Flow
ACM Transactions on Programming Languages and Systems (TOPLAS)
| Hi-index | 0.00 |
The maintenance and evolution of critical software with high requirements for reliability is an extremely demanding, time consuming and expensive task. Errors introduced by ad-hoc changes might have disastrous effects on the system and must be prevented under all circumstances, which requires the understanding of the details of source code and system design. This paper describes Bauhaus, a comprehensive tool suite that supports program understanding and reverse engineering on all layers of abstraction, from source code to architecture.