2

issta.roissta.ro/wp-content/uploads/2016/03/ISSTA-2017-2-st-appel.pdf · ARS LITURGICA From the Image of Glory to the Images of the Idols of Modernity The symposium will be held at

Download PDF Report

Upload
others
View
1
Download
0

Embed Size (px)

Citation preview

Page 1: issta.roissta.ro/wp-content/uploads/2016/03/ISSTA-2017-2-st-appel.pdf · ARS LITURGICA From the Image of Glory to the Images of the Idols of Modernity The symposium will be held at

Page 2: issta.roissta.ro/wp-content/uploads/2016/03/ISSTA-2017-2-st-appel.pdf · ARS LITURGICA From the Image of Glory to the Images of the Idols of Modernity The symposium will be held at

CrashLocator: Locating Crashing Faults Based on Crash Stacks (ISSTA 2014)

CrashLocator: Locating Crashing Faults Based on Crash Stacks (ISSTA 2014)

Software

ArtForm: A Tool for Exploring the Codebase of Form-Based ...amoeller/papers/artform/demo.pdf · ArtForm: A Tool for Exploring the Codebase of Form-Based Websites ISSTA’17-DEMOS,

ArtForm: A Tool for Exploring the Codebase of Form-Based ...amoeller/papers/artform/demo.pdf · ArtForm: A Tool for Exploring the Codebase of Form-Based Websites ISSTA’17-DEMOS,

Documents

KOREA at SOAS · 2019-09-23 · of Acquisition of Korean Tense-Aspect: Focussing on the Progressive Marker “-ko issta”. Journal of Korean Language Education 21/1: 151-174. (2010)

KOREA at SOAS · 2019-09-23 · of Acquisition of Korean Tense-Aspect: Focussing on the Progressive Marker “-ko issta”. Journal of Korean Language Education 21/1: 151-174. (2010)

Documents

1 Experiences in Automating the Testing of SS7 Signaling Transfer Points ISSTA 2002 July 22-24, 2002Via di Ripetta, Rome - Italy Tim Moors, Malathi Veeraraghavan,

1 Experiences in Automating the Testing of SS7 Signaling Transfer Points ISSTA 2002 July 22-24, 2002Via di Ripetta, Rome - Italy Tim Moors, Malathi Veeraraghavan,

Documents

Effective White-Box Testing of Deep Neural Networks with ...prl.korea.ac.kr/~sooyoung/papers/ISSTA20.pdffor testing LeNet-5 [17] with Top-k Neuron Coverage (TKNC) [18], ISSTA ’20,

Effective White-Box Testing of Deep Neural Networks with ...prl.korea.ac.kr/~sooyoung/papers/ISSTA20.pdffor testing LeNet-5 [17] with Top-k Neuron Coverage (TKNC) [18], ISSTA ’20,

Documents

Saving the World Wide Web from Vulnerable JavaScript International Symposium on Software Testing and Analysis (ISSTA 2011) Omer Tripp IBM Software Group

Saving the World Wide Web from Vulnerable JavaScript International Symposium on Software Testing and Analysis (ISSTA 2011) Omer Tripp IBM Software Group

Documents

ISSTA booklet A4 cover (dragged) 10issta.ie/wp-content/uploads/ISSTA-2016-programme-booklet-WEB.pdf · A Temporary Autonomous Zone (TAZ), as defined by the poet and anarchist cultural

ISSTA booklet A4 cover (dragged) 10issta.ie/wp-content/uploads/ISSTA-2016-programme-booklet-WEB.pdf · A Temporary Autonomous Zone (TAZ), as defined by the poet and anarchist cultural

Documents

Advances in Automated Program Repair · [ Qi, Mao, Lei, Wang. Using Automated Program Repair for Evaluating the Effectiveness of Fault Localization Techniques. ISSTA 2013. ] Many

Advances in Automated Program Repair · [ Qi, Mao, Lei, Wang. Using Automated Program Repair for Evaluating the Effectiveness of Fault Localization Techniques. ISSTA 2013. ] Many

Documents

CoCoNuT: Combining Context-Aware Neural Translation ......CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair ISSTA ’20, July 18–22, 2020,

CoCoNuT: Combining Context-Aware Neural Translation ......CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair ISSTA ’20, July 18–22, 2020,

Documents

SVF: Static Value-Flow Analysis in LLVM · 2019-10-30 · Memory leak detection (ISSTA ’12, TSE ’14, SAC ’16) Accelerating dynamic analysis including temporal memory safety

SVF: Static Value-Flow Analysis in LLVM · 2019-10-30 · Memory leak detection (ISSTA ’12, TSE ’14, SAC ’16) Accelerating dynamic analysis including temporal memory safety

Documents

Pluggable type systems reconsideredhomes.cs.washington.edu/~mernst/pubs/pluggable-checkers...Pluggable type systems reconsidered ISSTA 2018 Impact Paper Award for “Practical Pluggable

Pluggable type systems reconsideredhomes.cs.washington.edu/~mernst/pubs/pluggable-checkers...Pluggable type systems reconsidered ISSTA 2018 Impact Paper Award for “Practical Pluggable

Documents

Swarm Testing (ISSTA 2012) 輪講会用資料

Swarm Testing (ISSTA 2012) 輪講会用資料

Technology

a new approach to software design analysis - MIT CSAILpeople.csail.mit.edu/dnj/talks/issta15/issta-15.pdf · 2015. 7. 17. · “if you change a style’s format, then all paragraphs

a new approach to software design analysis - MIT CSAILpeople.csail.mit.edu/dnj/talks/issta15/issta-15.pdf · 2015. 7. 17. · “if you change a style’s format, then all paragraphs

Documents

TSE SPECIAL ISSUE ON THE ISSTA 2008 BEST PAPERS 1 …weimerw/p/weimer-tse2010-readability-preprint.pdfcode readability and documentation readability are both critical to the maintainability

TSE SPECIAL ISSUE ON THE ISSTA 2008 BEST PAPERS 1 …weimerw/p/weimer-tse2010-readability-preprint.pdfcode readability and documentation readability are both critical to the maintainability

Documents

L’Éternel Appel ( La Foi Bahá’íe, dernier-né des monothéismes …eric.coffinet.pagesperso-orange.fr/ETERNEL-APPEL.pdf · 2012-04-03 · Sears ( William ). - Voleur dans la

L’Éternel Appel ( La Foi Bahá’íe, dernier-né des monothéismes …eric.coffinet.pagesperso-orange.fr/ETERNEL-APPEL.pdf · 2012-04-03 · Sears ( William ). - Voleur dans la

Documents

ISSTA'16 Summer School: Intro to Statistics

ISSTA'16 Summer School: Intro to Statistics

Software

ISSTA 2012 CARISMA: a Context-sensitive Approach to sample ... · 2. second one samples the synchronization as well as the memory access events of . F. For each function, L. ITE

ISSTA 2012 CARISMA: a Context-sensitive Approach to sample ... · 2. second one samples the synchronization as well as the memory access events of . F. For each function, L. ITE

Documents

PROSEMINAR: MODELLBASIERTE ......Symposium on Software Testing and Analysis (ISSTA '11). ACM, New York, NY, USA, 320-330.] [V. Benjamin Livshits and Monica S. Lam. 2005. Finding security

PROSEMINAR: MODELLBASIERTE ......Symposium on Software Testing and Analysis (ISSTA '11). ACM, New York, NY, USA, 320-330.] [V. Benjamin Livshits and Monica S. Lam. 2005. Finding security

Documents

TSE SPECIAL ISSUE ON THE ISSTA 2008 BEST PAPERS 1 …web.eecs.umich.edu/~weimerw/p/weimer-tse2010-readability-preprint.pdfof software readability is useful, consider the use of read-ability

TSE SPECIAL ISSUE ON THE ISSTA 2008 BEST PAPERS 1 …web.eecs.umich.edu/~weimerw/p/weimer-tse2010-readability-preprint.pdfof software readability is useful, consider the use of read-ability

Documents

Les Feuilles du Jardin de Morya I (L'Appel)telechargements.agni-yoga.com/ay/appel.pdf · Le Souffle pur de Notre Béatitude est le soutien de ta vie de chaque jour. ... Il a transformé

Les Feuilles du Jardin de Morya I (L'Appel)telechargements.agni-yoga.com/ay/appel.pdf · Le Souffle pur de Notre Béatitude est le soutien de ta vie de chaque jour. ... Il a transformé

Documents

Universitatea 1 Decembrie 1918 din Alba Iulia - Construieşte-ţi un … · 2020. 2. 14. · 1) Simpozionul International ISSTA, 2017 ARS Liturgica, the Image of Glory to the Images

Universitatea 1 Decembrie 1918 din Alba Iulia - Construieşte-ţi un … · 2020. 2. 14. · 1) Simpozionul International ISSTA, 2017 ARS Liturgica, the Image of Glory to the Images

Documents

Could a purpose built supercomputer play DEF CON …archive.darpa.mil/CyberGrandChallenge_CompetitorSite/Files/ISSTA... · Could a purpose built supercomputer play DEF CON Capture

Could a purpose built supercomputer play DEF CON …archive.darpa.mil/CyberGrandChallenge_CompetitorSite/Files/ISSTA... · Could a purpose built supercomputer play DEF CON Capture

Documents

Shape Analysis via 3-Valued Logichjemmesider.diku.dk/~neil/PAT2005/materials/sagiv-l5.pdf · Proving Correctness of Sorting Implementations (Lev-Ami, Reps, S, Wilhelm ISSTA 2000)

Shape Analysis via 3-Valued Logichjemmesider.diku.dk/~neil/PAT2005/materials/sagiv-l5.pdf · Proving Correctness of Sorting Implementations (Lev-Ami, Reps, S, Wilhelm ISSTA 2000)

Documents

issta.roissta.ro/wp-content/uploads/2017/12/ISSTA-2002...Cuprins t ANDREI, Archbishop of Alba lulia, "Learnfrom me, forl am meek and lowly in heart" t ANDREI, Arhiepiscop al Alba luliei,

issta.roissta.ro/wp-content/uploads/2017/12/ISSTA-2002...Cuprins t ANDREI, Archbishop of Alba lulia, "Learnfrom me, forl am meek and lowly in heart" t ANDREI, Arhiepiscop al Alba luliei,

Documents

Automated Test Mapping and Coverage for Network Topologies · Automated Test Mapping and Coverage for Network Topologies ISSTA’18, July 16–21, 2018, Amsterdam, Netherlands 0 5

Automated Test Mapping and Coverage for Network Topologies · Automated Test Mapping and Coverage for Network Topologies ISSTA’18, July 16–21, 2018, Amsterdam, Netherlands 0 5

Documents

Korat Automated Testing Based on Java Predicates Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov MIT ISSTA 2002 Rome, Italy

Korat Automated Testing Based on Java Predicates Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov MIT ISSTA 2002 Rome, Italy

Documents

Composing and Producing Spatial Music for Virtual …...Composing and Producing Spatial Music for Virtual Reality and 360 Media Dr. Enda Bates Trinity College Dublin ISSTA 2016 International

Composing and Producing Spatial Music for Virtual …...Composing and Producing Spatial Music for Virtual Reality and 360 Media Dr. Enda Bates Trinity College Dublin ISSTA 2016 International

Documents

Documenting Database Usages and Schema Constraints in ...denys/pubs/ISSTA'16-DBScribe.pdf · architecture, (iii) the constraints imposed by the database schema, (iv) the expected

Documenting Database Usages and Schema Constraints in ...denys/pubs/ISSTA'16-DBScribe.pdf · architecture, (iii) the constraints imposed by the database schema, (iv) the expected

Documents

Detecting Cache-Related Bugs in Spark Applicationswsdou/papers/2020-issta-cachecheck.pdf · Lotus [43]. However, cache-related bug patterns and detection ap-proaches in Spark applications

Detecting Cache-Related Bugs in Spark Applicationswsdou/papers/2020-issta-cachecheck.pdf · Lotus [43]. However, cache-related bug patterns and detection ap-proaches in Spark applications

Documents

Running Symbolic Execution Forever · 2020. 7. 4. · Running Symbolic Execution Forever ISSTA ’20, July 18ś22, 2020, Virtual Event, USA intermediatenode memoized data freed activenode

Running Symbolic Execution Forever · 2020. 7. 4. · Running Symbolic Execution Forever ISSTA ’20, July 18ś22, 2020, Virtual Event, USA intermediatenode memoized data freed activenode

Documents