Software Bug Localization with Markov Logic Sai Zhang, Congle Zhang University of Washington Presented by Todd Schiller

Source URL: zhang-sai.github.io

• Software engineering
• Software
• Code coverage
• Software testing
• ARG2
• Xdebug
• Relational operator
• Tarantula
• Computer programming

«Alle brauchen IT. Unsere Web- und Mobilelösungen werden täglich mit Freude genutzt. Ganz ohne Ärger, weil sie einfach funktionieren.» Mit dieser Vision realisieren und betreiben wir zukunftsweisende Software-Lösun

Source URL: www.exanic.ch

qqqerreqqq >__RESTRAINTS__* Font Software Product License | iyyyyyyyyi |

Source URL: tiro.com

• Terms of service
• Strategic management
• Law
• Computing
• Free software
• Software licenses
• Software
• Application software
• License
• DVK
• End-user license agreement
• Business models for open-source software

Static Reference Analysis for GUI Objects in Android Software Atanas Rountev Dacong Yan

Source URL: dacongy.github.io

• Computing
• Computer programming
• Software engineering
• Knowledge representation
• Tree
• Node
• Static single assignment form
• Object Process Methodology
• Recursion

Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Software engineering
• Theoretical computer science
• Formal methods
• Computing
• Computer science
• Computer security
• Model checking
• Verification
• Formal verification
• Carnegie Mellon University
• Proof-carrying code
• Software Engineering Institute

Subsumer-First: Steering Symbolic Reachability Analysis Andrey Rybalchenko1 and Rishabh Singh2 1 Max Planck Institute for Software Systems (MPI-SWS)

Source URL: rishabhmit.bitbucket.io

• Metaphysics
• Data types
• Search algorithms
• Mathematics
• Model checking
• Tree
• Information science
• Abstraction
• B-tree
• Breadth-first search
• Reachability
• FO

Designware: Software Development by Renement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA Abstract

Source URL: www.kestrel.edu

• Abstract algebra
• Algebra
• Mathematics
• Category theory
• Functors
• Morphism
• Category
• Sheaf
• Limit
• Pushout
• Cone
• Diagram

Allgemeine Geschäftsbedingungen der ITEMIS AG für die Software-Überlassung itemis AG Version 2.0.1, Allgemeine Geschäftsbedingungen der ITEMIS AG für die Software-Überlassung

Source URL: legal.itemis.com

Numerical quality: an industrial case study on code_aster Numerical Software Verication

Source URL: www.cs.ox.ac.uk

• Computing
• Computational science
• Software engineering
• Applied mathematics
• Numerical analysis
• Alternatives to animal testing
• Computer simulation
• Scientific modeling
• Virtual reality
• Numerical modeling
• Simulation
• Numerical stability

Automated Quantitative Software Verification by Mark Kattenbelt A thesis submitted for the degree of

Source URL: qav.comlab.ox.ac.uk

• Model checkers
• Model checking
• Abstraction
• Mathematical proof
• Economic model
• Verification
• Theoretical computer science
• Formal methods
• Cognitive science
• Computing
• PRISM model checker
• Construction and Analysis of Distributed Processes