Publications

12 results at Information and Software Technology

Making existing software quantum safe: A case study on IBM Db2
- - Lei Zhang
  - Andriy Miranskyy
  - et al.
- 2023
- Information and Software Technology
Global software testing under deadline pressure: Vendor-side experiences
- - Hina Shah
  - Mary Jean Harrold
  - et al.
- 2014
- Information and Software Technology
Identifying refactoring opportunities in process model repositories
- - Remco Dijkman
  - Beat Gfeller
  - et al.
- 2011
- Information and Software Technology
An analysis of web services support for dynamic business process outsourcing
- - Paul Grefen
  - Heiko Ludwig
  - et al.
- 2006
- Information and Software Technology
A quest for appropriate software fault models: Case studies on fault detection effectiveness of model-based test generation techniques
- - Amit Paradkar
- 2006
- Information and Software Technology
Towards an ontology-based approach for specifying and securing Web services
- - Z. Maamar
  - N.C. Narendra
  - et al.
- 2006
- Information and Software Technology
Towards model-based generation of self-priming and self-checking conformance tests for interactive systems
- - Amit Paradkar
- 2004
- Information and Software Technology
Objects, XML and databases
- - Akmal B. Chaudhri
- 2002
- Information and Software Technology
Getting the best from formal methods
- - John B. Wordsworth
- 1999
- Information and Software Technology
Dynamic dependence in term rewriting systems and its application to program slicing
- - John Field
  - Frank Tip
- 1998
- Information and Software Technology