- Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences
- Software Security Vulnerabilities Seen As Feature Interactions
- Lightweight protection against brute force login attacks on web applications
- Universit d'Ottawa au plagiat* !
- Testing k-Safe Petri Nets Gregor v. Bochmann, Guy-Vincent Jourdan
- Recovering Repetitive Sub-Functions From Observations
- The Open Software Engineering Journal, 2008, 2, 45-54 45 1874-107X/08 2008 Bentham Open
- On Testing 1-Safe Petri Nets Guy-Vincent Jourdan, Gregor v. Bochmann
- Securing Large Applications Against Command Injections Guy-Vincent Jourdan
- Mustafa Alhashem and Guy-Vincent Jourdan and Nejib Zaguia School of Information Technology and Engineering (SITE)
- Using a SAT Solver to Generate Checking Sequences
- What Is Systems Engineering? A Consensus of Senior Systems Engineers
- Some Modeling Challenges when Testing Rich Internet Applications for Security Kamara Benjamin, Gregor v. Bochmann,
- Testing Systems Specified as Partial Order Input/Output Automata
- Minimizing the Number of Inputs while Applying Adaptive Test Cases Guy-Vincent Jourdan, Hasan Ural and Nejib Zaguia
- Rglements facultaires Facult de Gnie, Universit d'Ottawa -2008 TABLE DES MATIRES
- Why Good Software Engineering Practices Often Do Not Produce Secure Software
- University of Ottawa of plagiarism*!
- Faculty Regulations Faculty of Engineering, University of Ottawa -2008 TABLE OF CONTENTS
