Does this Fault Lead to Failure? Combining Refinement and Input-Output Conformance Checking in Fault-Oriented Test-Case Generation Bernhard K. Aicherniga , Elisabeth J¨obstlb , Martin Tapplera a Graz

Source URL: www.ist.tugraz.at

Program Chairs Malu Castellanos Ton Weijters Publication and coordination chair Manolo Carcia-Solaco Program Committee

Source URL: bpm2005.loria.fr

• Process management
• Diagrams
• Workflow technology
• Models of computation
• Process mining
• Concurrency
• Petri net
• Process modeling
• Conformance checking
• Business process management
• Business process modeling
• Conceptual model

MEDIACONCH: CONFORMANCE CHECKING AUDIOVISUAL FILES MediaConch is an open source software project that helps information professionals validate audiovisual files. It consists of an implementation checker, policy checker,

Source URL: www.digitalmeetsculture.net

A Unified Approach to Architecture Conformance Checking Andrea Caracciolo, Mircea Filip Lungu and Oscar Nierstrasz Software Composition Group, University of Bern, Switzerland http://scg.unibe.ch Abstract—Software erosi

Source URL: scg.unibe.ch

Statically Checking API Protocol Conformance with Mined Multi-Object Specifications Michael Pradel Department of Computer Science ETH Zurich, Switzerland

Source URL: mp.binaervarianz.de

• Data types
• Object-oriented programming
• Iterator
• Object
• Communications protocol
• Application programming interface
• Objective-C
• Type system
• Software bug
• Class

facultad de inform´ atica universidad polit´ecnica de madrid Automatic Coding Rule Conformance Checking Using Logic Programming

Source URL: clip.dia.fi.upm.es

• C programming language
• MISRA C
• Prolog
• C
• Type system
• Computing
• Programming language theory
• Software engineering

Checking NewsML Conformance O ne of the conditions of use for NewsML is that applications should conform to

Source URL: iptc.cms.apa.at

• International Press Telecommunications Council
• IPTC Information Interchange Model
• NewsML
• News Industry Text Format
• NewsML-G2
• NewsML 1
• Metadata
• Data
• Information

Applicability of Process Mining Techniques in Business Environments Candidate Andrea Burattin, XXV Ciclo

Source URL: speakerd.s3.amazonaws.com

• Business process
• Systems science
• Enterprise modelling
• Process mining
• Process modeling
• Business process discovery
• Conformance checking
• Process management
• Management
• Systems engineering

Mediating Between Modeled and Observed Behavior: The Quest for the "Right" Process Abstract Operational processes leave trails in the information systems supporting them. Such event data are the starting point for proce

Source URL: www.rcis-conf.com

• Business
• Process mining
• Wil van der Aalst
• Conformance checking
• Workflow
• Process modeling
• Business process management
• Information systems
• Petri net
• Process management
• Management
• Systems engineering

Conformance Checking of Access Control Policies Specified in XACML Vincent C. Hu1 1 Evan Martin2

Source URL: csrc.nist.gov

• Identity management
• XACML
• PERMIS
• Role-based access control
• Security Assertion Markup Language
• Authorization
• OASIS
• Discretionary access control
• Model checking
• Security
• Computer security
• Access control