Bandera

James C. Corbett, Matthew B. Dwyer, John Hatcliff, +4

Finite-state Verification TechniquesEngineeringProgram CheckingProgram AnalysisVerification Algorithms +13

Amandroid

Fengguo Wei, Sankardas Roy, Xinming Ou, +1

Security VettingMobile SecurityEngineeringInformation SecuritySoftware Engineering +14

Bogor

Robby, Matthew B. Dwyer, John Hatcliff

Software MaintenanceEngineeringVerificationSoftware EngineeringModel Checking +15

Bandera: extracting finite-state models from Java source code

J.C. Corbett, Matthew B. Dwyer, John Hatcliff, +4

Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium

Program CheckingEngineeringVerificationComputer-aided VerificationSoftware Engineering +19

Amandroid

Fengguo Wei, Sankardas Roy, Xinming Ou, +1

ACM Transactions on Privacy and Security

Security VettingMobile SecurityEngineeringInformation SecuritySoftware Systems +14

Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems

Xianghua Deng, Jooyong Lee, Robby

Program CheckingEngineeringVerificationComputer-aided VerificationSoftware Engineering +17

Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs

Matthew B. Dwyer, John Hatcliff, Robby, +1

Formal Methods in System Design

Object EscapeEngineeringProgram AnalysisConcurrent ProgrammingConcurrency Theory +13

Bogor

Robby, Matthew B. Dwyer, John Hatcliff

ACM SIGSOFT Software Engineering Notes

Software MaintenanceEngineeringVerificationSoftware EngineeringModel Checking +15

Space-Reduction Strategies for Model Checking Dynamic Software

Robby, Matthew B. Dwyer, John Hatcliff, +1

Electronic Notes in Theoretical Computer Science

Program CheckingEngineeringVerificationComputer ArchitectureComputer-aided Verification +18

Towards an industrial grade IVE for Java and next generation research platform for JML

Patrice Chalin, Robby, Perry R. James, +2

International Journal on Software Tools for Technology Transfer

Software MaintenanceEngineeringIndustrial EngineeringSoftware TestingComputer Engineering +12