Politeknik Siber dan Sandi Negara

Knowledge Center of Cybersecurity and Cryptography

  • Home
  • Information
  • News
  • Help
  • Librarian
  • Member Area
  • Select Language :
    Arabic Bengali Brazilian Portuguese English Espanol German Indonesian Japanese Malay Persian Russian Thai Turkish Urdu

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

{{tmpObj[k].text}}

Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
    See More
  • General Material Designation
    See More
  • Location
    See More
  • Language
Found 1 from your keywords: author="Reichenbach, Christoph...
cover
ACM Transactions on Software Engineering and Methodology | Vol.24 No.2
Comment Share
Arcuri, AndreaBentahar, JamalCsallner, ChristophCuadrado, Jesus SanchezDe Lara, JuanDssouli, RachidaEl Kholy, WardaEl Menshawy, MohamedEldib, HassanFraser, GordonGuerra, EstherHao, DanLi, KaituoMei, HongQu, HongyangReichenbach, ChristophRosenblum, David S.Rothermel, GreggSchaumont, PatrickSmaragdakis, YannisTsudik, GeneWang, ChaoZhang, LingmingZhang, Lu

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
Availability1
Add to basket
MARC DownloadCite
Politeknik Siber dan Sandi Negara
  • Information
  • Services
  • Librarian
  • Member Area

About Us

Perpustakaan Politeknik Siber dan Sandi Negara menyediakan berbagai macam koleksi seperti Buku, Jurnal, Majalah, Koran, Referensi dan Konten Lokal.

Search

start it by typing one or more keywords for title, author or subject

Keep SLiMS Alive Want to Contribute?

© 2025 — Senayan Developer Community

Powered by SLiMS
Select the topic you are interested in
  • Computer Science, Information & General Works
  • Philosophy & Psychology
  • Religion
  • Social Sciences
  • Language
  • Pure Science
  • Applied Sciences
  • Art & Recreation
  • Literature
  • History & Geography
Icons made by Freepik from www.flaticon.com
Advanced Search
Where do you want to share?