During development and testing, changes made to a system to repair a detected fault can often inject a new fault into the code base. These injected faults may not be in the same f...
Software components are now widely used in the development of systems. However, incompatibilities between their behavioural interfaces may make their composition impossible. The o...
This work describes neural software applied in medicine and physiology to: - investigate and diagnose immune deficiencies; diagnose and study allergic and pseudoallergic reactions...
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
Greg Morrisett, Gang Tan, Joseph Tassarotti, Jean-...
This workshop aims to gather researchers in the field of user interface design tools to identify important themes for the next decade of research. These tools aid in the design an...