Toggle navigation
Home
Staff
Members & Associates
Alumni
Member Achievements
Joining the lab
Projects
Publications
Datasets
Software
Seminars
Services
Yearly Reports
Search
Search BALab
Software
AI CLI library
— AI help for CLI programs
Alexandria3k
— Open reproducible systematic publication research
BuildFS
— A command-line tool for detecting faults in incremental and parallel builds
ckjm
— Chidamber and Kemerer Java Metrics
CScout
— C code refactoring browser
cynthia
— Data-oriented differential testing of ORM systems
Designite
— Software Design Quality Assessment Tool
dgsh
— Shell supporting pipelines to and from multiple processes
firej
— Fast Implementation of Regular Expressions for Java (aka FIREJ)
FSMoVe
— Tool for detecting ordering violations and missing notifiers in Puppet programs
gi
— Git-based issue management
hephaestus
— A framework for testing compilers' type checkers
PiCO QL
— SQL query interface to C++ collections and C data structures.
Puppeteer
— Configuration smell detection tool for Puppet code
SlideQ
— Presentation smell detection tool for Microsoft Powerpoint
UMLGraph
— Declarative specification and drawing of UML diagrams