Parallel Symbolic Execution for Automated Real-World Software Testing

Stefan Bucur; Cristian Zamfir; George Cande; Vlad Ureche

Parallel Symbolic Execution for Automated Real-World Software Testing

Вид публикации:

Conference Proceedings

Авторы:

Stefan Bucur; Cristian Zamfir; George Cande; Vlad Ureche

Источник:

6th ACM SIGOPS/EuroSys Conference on Computer Systems (2011)

3958 просмотров
Google Scholar
RTF
EndNote XML

Useful links

Biomedical Data Journal

http://www.biomed-data.eu

INTEGRITY IN DEFENCE & SECURITY

https://defenceintegrity.eu

Evocs project

http://evocs-project.eu

Association of the Officers in the Reserve “Atlantic”

http://www.atlantic-bg.org

Centre for National Security and Defence Research

http://cnsdr.bas.bg

AFCEA International

http://www.afcea.org

AFCEA Sofia

http://www.afcea-bg.org

AFCEA Varna

http://www.afcea.bg

George C. Marshall Association - Bulgaria

http://www.gcmarshall.bg/

Institute of Information and Communication Technologies

http://iict.bas.bg

Bulgarian Academy of Sciences

http://www.bas.bg

“G.S. Rakovski” Defence Academy

http://rnda.armf.bg

PfP Consortium

http://www.pfp-consortium.org/

Data Journals

http://datajournals.eu/

Connections: The Quarterly Journal

http://connections-qj.org

Security and Defence Management

http://defencemanagement.org

IT for Security Department

http://it4sec.org

DCAF

http://www.dcaf.ch/

2024 Procon Ltd. Information & Security: An International Journal - This is a Free Drupal Theme
Ported to Drupal for the Open Source Community by Drupalizing, a Project of More than (just) Themes. Original design by Simple Themes.

Parallel Symbolic Execution for Automated Real-World Software Testing

Вид публикации:

Авторы:

Источник:

Information & Security journal

News

Nanotechnology and Global Security

Nanotechnology and Global Security

How Improved Attribution in Cyber Warfare Can Help De-Escalate Cyber Arms Race

Hybrid War: High-tech, Information and Cyber Conflicts

The Age of Post-Truth: State Influence and Strategic Communication - Contemporary Security Challenges on Europe’s Eastern Flank:

How Improved Attribution in Cyber Warfare Can Help De-Escalate Cyber Arms Race

Social Media accounts

The Winter 2020 issue of Connections

The Summer-Fall 2018 issue of Connections

The Winter 2018 issue of Connections

Useful links

Partner sites

Parallel Symbolic Execution for Automated Real-World Software Testing

Вид публикации:

Авторы:

Источник:

Форма поиска

Information & Security journal

News

Useful links

Partner sites