• Find an Expert
  • Search iconSearch
  • Menu
  • Help
  • Report an issue

Book Chapter

Abstract interpretation, symbolic execution and constraints

Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sondergaard, Peter Stuckey

Recent Developments in the Design and Implementation of Programming Languages | Schloss Dagstuhl-Leibniz-Zentrum für Informatik | Published : 2020

DOI: 10.4230/OASIcs.Gabbrielli.7

University of Melbourne Researchers

Harald Sondergaard's Profile Picture
Harald Sondergaard Author Computing and Information Systems

Related Projects (2)

Project icon

Effective software vulnerability detection for web services

This project aims to design and implement new and better methods to find vulnerabilities in software services delivered over the web or thro..

Project icon

Effective software vulnerability detection for web services

This project aims to design and implement new and better methods to find vulnerabilities in software services delivered over the web or thro..

Keywords

Abstract Interpretation
Symbolic Execution
Dynamic Analysis
Static Analysis
Constraint Solving

UNIVERSITY SEARCH

›  

Current students

›  

Staff

›  

Alumni

  

Faculties & graduate schools

  

Library

  

Contact us

  

Maps

  

Support the campaign

  

Jobs

facebookIcontwitterIconlinkedinIcon


Phone: 13 MELB ( 13 6352)

International: +61 3 9035 5511

ABN: 84 002 705 224

CRICOS Provider Code:
00116K ( visa information)

Emergency information  |  Disclaimer and copyright  |  Accessibility  |  Privacy

STUDY AT MELBOURNE

›  Find a course

›  Admissions, fees & applications

›  International students

›  Campus tour

›  Connect with us

›  Accommodation

ABOUT US

›  Strategy and leadership

›  Tradition of excellence

›  International connections

›  Campuses and facilities

›  Structure and governance

›  Policy and publications

›  Careers at Melbourne

›  Supplying to the University

CONTACT & MAPS

›  Enquiries

›  Media

›  Find an expert

›  Campus maps

›  Traffic, parking & bicycles

›  Find a staff member

ALUMNI & FRIENDS

›  Benefits & services

›  Give

›  Volunteer

›  3010: alumni magazine

RESEARCH

›  Research institute

›  Find an expert or supervisor

›  Graduate researchers

›  Pursuit: our research showcase

ENGAGEMENT

›  Events

›  Sports facilities

›  Shop

We acknowledge and pay respect to the Traditional Owners of the lands upon which our campuses are situated.