Filter by
ACM Transactions on Software Engineering and Methodology | Vol.24 No.3 May 2015
Contents: [Article 13] aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models (Tao Yue, Lionel C. Briand, Yvan Labiche) [Article 14] Documenting Design-Pattern Instances: A Family of Experiments on Source-Code Comprehensibility (Giuseppe Scanniello, Carmine Gravino, Michele Risi, Genoveffa Tortora, Gabriella Dodero) [Article 15] Deciding Type-Based Partial-Order C…
- Edition
- Vol. 24 No. 3 (May 2015)
- ISBN/ISSN
- 1049331X
- Collation
- ilus.; 25 cm.
- Series Title
- -
- Call Number
- JOU SOF '15
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