Text

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 12] When and How to use Multilevel Modelling

---

Availability

Detail Information

Series Title

-

Call Number

JOU SOF '15

Publisher

New York : Association for Computing Machinery., 2015

Collation

175 hlm.; ilus.; 25 cm.

Language

English

ISBN/ISSN

1049331X

Classification

JOU

Content Type

-

Media Type

-

Carrier Type

-

Edition

Vol. 24 No. 2 (Dec 2015)

Subject(s)

Software organizations and properties
Software functional properties
Formal methods
Software engineering
Performance and Reliability
Artificial Intelligence
Operating Systems
Logic and Meanings of Programs

Specific Detail Info

-

Statement of Responsibility

Association for Computing Machinery

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment