Filter by
Found 1 from your keywords: author=Dssouli, Rachida
ACM Transactions on Software Engineering and Methodology | Vol.24 No.2
Contents: [Article 7] Residual Investigation: Predictive and Precise Bug Detection [Article 8] A Large-Scale Evaluation of Automated unit Test Generation Using EvoSuite [Article 9] Conditional Commitments: Reasoning and Model Checkingrn[Article 10] A Unified Test Case Prioritization Approach [Article 11] Formal verification of Software Countermeasures Against Side-Channel Attacks [Article …
- Edition
- Vol. 24 No. 2 (Dec 2015)
- ISBN/ISSN
- 1049331X
- Collation
- 175 hlm.; ilus.; 25 cm.
- Series Title
- -
- Call Number
- JOU SOF '15
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography