IBM / Distributed Computing Systems / Open Mission Control Technologies / Oracle / Ericsson / JCHARMING Software / TARGET SYSTEMS / Object Refinery Limited / Apache Software Foundation / Alf Larsson ECE Department Concordia University Montréal / /
Country
Sweden / Canada / /
Currency
USD / / /
Event
Reorganization / Product Issues / /
Facility
C. Building / building Java Web Application / Concordia University / /
IndustryTerm
software system / capture/replay tool / software engineering / software failures / level algorithm / software engineers / Web Application / open source software systems / open source systems / Internet bandwidth / software developers / finite-state systems / evolutionary algorithms / software systems / large systems / techniques and tools / command-line tool / real and complex systems / manageable search space / help software developers / search space / /
OperatingSystem
Linux / /
Organization
Concordia University / MIT / NASA Ames Research Center / Sofiène Tahar Alf Larsson ECE Department / National Aeronautics and Space Administration / /
Person
Atul Prakash / Checking Mathieu Nayrolles / /
Position
Model / Model View Controller / last author / reporter / Directed model / /
JCHARMING: A Bug Reproduction Approach using Crash Traces and Directed Model Checking Mathieu Nayrolles, Abdelwahab Hamou-Lhadj SBA Research Lab ECE, Concordia University Montréal, Canada