關於 issta 2021 proceedings ，我們在網路上蒐集到這些相關的討論、資訊與評價

#11. DB ::publications (BibTeX)::

... year = 2021, booktitle = {Proceedings of the 30th International Symposium on Software Testing and Analysis (ISSTA 2021), July 11--17, ...

#12. International Symposium on Software Testing and Analysis ...

Past: Proceedings on DBLP ... ISSTA 2021, International Symposium on Software Testing and Analysis. Jul 12, 2021 - Jul 16, 2021, Aarhus, Denmark, Jan 29, ...

#13. [2021.08.16] [ISSTA 2021] An Infrastructure Approach to ...

[2021.08.16] [ISSTA 2021] An Infrastructure Approach to Improving ... effectiveness of Android UI testing tools | Proceedings of the 30th ...

#14. 2000 IEEE Sixth International Symposium on Spread ...

Read all the papers in 2000 IEEE Sixth International Symposium on Spread Spectrum Techniques and Applications. ISSTA 2000. Proceedings (Cat.

#15. ISSTA 2021 - Openresearch

30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021). The ACM SIGSOFT International Symposium on Software ...

#16. ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT ...

ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis Impact Score 2020-2021 ...

#17. ISSTA By-Laws and Articles of Association

Publishing conference proceedings and journals for the presentation of research. Producing CDs, DVDs or other media for the distribution of the sonic arts.

#18. ISSTA 2021

Welcome to the The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021) submissions site. For general conference information, ...

#19. Publications - Zhe Chen (陈哲)

In Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021), Virtual, Denmark, July 11–17, ...

#20. Dinghao Wu's research papers

... International Symposium on Software Testing and Analysis (ISSTA 2021). ... In Proceedings of the 42nd IEEE Symposium on Security and Privacy (IEEE S&P ...

#21. ISSTA 2021论文泛读记录 - CSDN博客

会议网址：https://dl.acm.org/doi/proceedings/10.1145/3460319主要看fuzzing、dynamic analysis、symbolic execution、testing、binary ...

#22. Tevfik Bultan - ESEC/FSE 2021

He is currently serving on the steering committees of ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), IEEE/ACM International ...

#23. ISSTA2021论文选读 - 知乎专栏

https://conf.researchr.org/details/issta-2021/issta-2021-technical- ... the Android framework services or remote procedure calls (RPCs), ...

#24. Towards a framework for analyzing context-oriented ...

Name, COP 2021 - Proceedings of the 13th ACM International Workshop on Context-Oriented Programming and Advanced Modularity, co-located with ECOOP/ISSTA ...

#25. Reconstructing Z3 proofs in KeY: There and back again - KIT ...

Booktitle: Proceedings of the 23rd ACM International Workshop on Formal ... FTfJP 2021, co-located with ECOOP/ISSTA 2021, Online, 13 July 2021 - null.

#26. Xiang Chen - SPIN 2021 - Conferences

ECOOP and ISSTA 2021 (series) / SPIN 2021 (series) / Xiang Chen. ECOOP and ISSTA 2021 ... SPIN 2021, Probabilistic Model Checking of Randomized Java Code.

#27. FTfJP 2021 - CFP - EasyChair

FTfJP 2021: 23rd Workshop on Formal Techniques for Java-like Programs ... Conference website, https://conf.researchr.org/track/ecoop-issta-2021/ecoop-issta- ...

#28. Jin-Song Dong Publications | Griffith University

2021ISSTA 2021: 30th ACM SIGSOFT International Symposium on Software Testing and AnalysisISSTA 2021: Proceedings of the 30th ACM SIGSOFT International ...

#29. Understanding and finding system setting-related defects in ...

Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021) , online , July 11-17, 2021. Subject.

#30. Source code patches from dynamic analysis

FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA ...

#31. testingautomated-usi/DeepHyperion - GitHub

... A. Gambi and P. Tonella, to be published in the Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021).

#32. International Symposium on Software Testing and Analysis

By clibrary on Wed, 12/15/2021 - 17:12. Publisher. Association for Computing Machinery. Subject ... http://dl.acm.org/proceedings/issta/. Collection.

#33. Log-based slicing for system-level test cases - TU Delft ...

Title of host publication, ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis.

#34. Modular call graph construction for security scanning of Node ...

ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis. red. / Cristian Cadar; Xiangyu Zhang.

#35. Identifying privacy weaknesses from multi-party trigger-action ...

ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis. Place of publication. New York, NY, USA.

#36. Tom Melham - Publications - University of Oxford Department ...

In Cristian Cadar and Xiangyu Zhang, editors, ISSTA 2021: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing ...

#37. 发布文章列表[所有] - 清华大学学者库

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS[1551-3203], Published 2021, ... ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on ...

#38. Donghwan Shin - l'Université du Luxembourg

in 2021 IEEE 14th International Conference on Software Testing, Validation and ... in Proceedings of ISSTA '21: 30th ACM SIGSOFT International Symposium on ...

#39. Year of Publication: 2021 - Singapore Management University

Conference Proceedings ArticleSchool of Information Systems Published on 30th ... Jun, 9781450384599, 2021, ISSTA 2021: Proceedings of the 30th ACM SIGSOFT ...

#40. Log-Based Slicing for System-Level Test Cases (ISSTA 2021)

Log-Based Slicing for System-Level Test Cases (ISSTA 2021). 1. Log-Based Slicing for System-Level Test Cases Salma Messaoudi1, ...

#41. 副教授、博士生导师E-mail： wurongxin@xmu.edu.cn 研究方向

Tool Demo、ISSTA 2020 Tool Demo、SAC 2021、SAC 2020、SAC 2019 等国际学术会议程序委员会 ... In Proceedings of the 42nd ACM SIGPLAN Conference on Programming.

#42. Dr Thuan Pham - Find an Expert

Journal article | 2021 | IEEE TRANSACTIONS ON SOFTWARE ENGINEERING ... Conference Proceedings | 2021 | ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT ...

#43. Echidna-parade: A tool for diverse multicore smart contract ...

Title of host publication, ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis.

#44. Software Engineering authors/titles Feb 2021 - arXiv

Journal-ref: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021). Association for Computing Machinery, ...

#45. IntelliJML: A JML plugin for IntelliJ IDEA - University of Twente ...

... 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021.

#46. Dr Max Yu Pei's Personal Website

In Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '21), pp. 191-203, 2021. Linna Xie, Lu Lu, ...

#47. Behavioural separation with parallel usages

... 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021.

#48. Dr. Sangharatna Godboley - National Institute of Technology ...

Maciaszek, editors, Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2021, Online Streaming, ...

#49. 35th European Conference on Object-Oriented Programming ...

URL: https://conf.researchr.org/venue/ecoop-issta-2021/ecoop-issta- ... nomination is May 24th and the nomination process requires only that ...

#50. 刘辉_北京理工大学计算机学院

A类顶级国际会议论文（本领域共4个CCF A类会议：ICSE、ESEC/FSE、ASE、ISSTA）： ... In Proceedings of the 34th IEEE/ACM International Conference on Automated ...

#51. Chengyu Zhang's Homepage

Jiwon Park, Dominik Winterer, Chengyu Zhang and Zhendong Su. In Proceedings of SPLASH/OOPSLA 2021. Feedback-Guided Circuit Structure Mutation ...

#52. Arpita Dutta (0000-0001-7887-3264) - ORCID

ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis. 2021 | Conference paper.

#53. Publications by Research Area - Paul G. Allen School of ...

M. Kellogg, N. Shadab, M. Sridharan, M.D. Ernst, ESEC/FSE 2021: The ACM 29th ... R. Just, C. Parnin, I. Drosos, M.D. Ernst, ISSTA 2018, Proceedings of the ...

#54. 35th European Conference on Object-Oriented Programming

LIPIcs is a series of high-quality conference proceedings across all ... Cristian Cadar, the General Chair of ISSTA 2021, for enjoyable and ...

#55. Publications - School of Information Science and Technology

Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2021. (EI, CCF-A); Inferring Loop Invariants for ...

#56. Precrime

Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2021. DOI Gunel Jahangirova, Andrea Stocco, Paolo Tonella: ...

#57. Abhik Roychoudhury - Publications - NUS Computing

International Conference on Automated Software Engineering (ASE) 2021. ... ISSTA '07 Proceedings of the 2007 international symposium on Software testing and ...

#58. People Publications Projects Student Projects - HexHive

In CCS'21: ACM Conference on Computer and Communication Security, 2021 (source, ... In ISSTA'21: ACM SIGSOFT International Symposium on Software Testing and ...

#59. LAWALL Julia - LIP6

2021. M. Martone, J. Lawall : “Refactoring for Performance with Semantic ... ISSTA 2021: Proceedings of the 30 th ACM SIGSOFT International ...

#60. CV - Rohan Padhye

2019 ACM SIGSOFT Tool Demonstration Award [ISSTA'19b] ... Foundations of Software Engineering (undergraduate), Fall 2021 (co-taught with ...

#61. Publications | Xusheng Xiao - Case School of Engineering |

In Proceedings of the IEEE/ACM International Conference on Software Engineering (ICSE ... on Software Testing and Analysis (ISSTA 2021), Virtual, July 2021.

#62. Fuzzing SMT solvers via two-dimensional input space ...

Source, ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis / Association for Computing Machinery.

#63. CCF推荐排名

ISSTA. International Symposium on Software Testing and Analysis. ACM SIGSOFT ... 22, ICSSP, International Conference on Software and System Process, ISPA ...

#64. Publications - Homepage - Muhui Jiang

Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021). Lei Xue, Yuxiao Yan, Luyi Yan, Muhui Jiang, Xiapu Luo, ...

#65. shriver_cv.pdf - David Shriver

Intern, June 2021 - August 2021 ... 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I. 137–150. ... Artifact Evaluation Reviewer ISSTA 2021.

#66. Empirical Evaluation of Smart Contract Testing - Chengnian Sun

In Proceedings of the 30th ACM SIGSOFT. International Symposium on Software Testing and Analysis (ISSTA '21), July. 11–17, 2021, Virtual, Denmark.

#67. (PDF) Find Bugs in Static Bug Finders - ResearchGate

2021. Find Bugs in. Static Bug Finders. In Proceedings of ACM SIGSOFT International Symposium. on Software Testing and Analysis (ISSTA 2021) ...

#68. ‪Jianmin Guo‬ - ‪Google Scholar‬

Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 ... International Symposium on Software Testing and Analysis (ISSTA), 2021.

#69. SMS-Builder: An adaptive software tool for building systematic ...

The stages that make up the process proposed by AIRG for building a SMS ... Testing Microservices Architecture: A Systematic Mapping Study [20], ISSTA 2021 ...

#70. ‪Van-Thuan Pham‬ - ‫الباحث العلمي من Google‬

Proceedings of the 2017 ACM SIGSAC Conference on Computer and ... International Symposium on Software Testing and Analysis (ISSTA) 2021, 2021‏.

#71. Conceptual Modeling: 40th International Conference, ER 2021, ...

CoRR (2021). https://arxiv.org/abs/2107.08677 6. Bex, G.J., Neven, F., ... In: Proceedings of WebDB 2004 (2004) 7. ... In: Proceedings of ISSTA 2021, pp.

#72. Quality of Information and Communications Technology: 14th ...

14th International Conference, QUATIC 2021, Algarve, Portugal, September 8–11, 2021, Proceedings Ana C. R. Paiva, ... In: Proceedings of ISSTA, pp. 211–224.

#73. Computer Security – ESORICS 2021: 26th European Symposium on ...

26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4–8, 2021, Proceedings, Part I Elisa Bertino, Haya Shulman, ...

#74. [TYPES/announce] VORTEX 2021: Extended Deadline May 7

VORTEX 2021, online Workshop at ECOOP/ISSTA 2021, Monday 12 July ... Fri 4 Jun 2021 * Virtual workshop: Mon 12 Jul 2021 Proceedings ...

#75. ‪Van-Thuan Pham‬ - ‪Google Scholar‬

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications ... International Symposium on Software Testing and Analysis (ISSTA) 2021, 2021.

#76. Proceedings - Efita 2021

Proceedings. EFITA 2021 Proceedings. Click here. Past Conferences. EFITA 2019 Proceedings. CIOSTA 2019 Proceedings · Widget Image ...