|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1187 occurrences of 727 keywords
|
|
|
Results
Found 2695 publication records. Showing 2695 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jiachi Chen |
Finding Ethereum Smart Contracts Security Issues by Comparing History Versions. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gail C. Murphy |
Is Software Engineering Research Addressing Software Engineering Problems? (Keynote). |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yinxing Xue, Mingliang Ma, Yun Lin 0001, Yulei Sui, Jiaming Ye, Tianyong Peng |
Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nataniel P. Borges, Jenny Rau, Andreas Zeller |
Speeding up GUI Testing by On-Device Test Generation. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Liu 0025, Chunyang Chen, Junjie Wang 0001, Yuekai Huang, Jun Hu, Qing Wang 0001 |
Owl Eyes: Spotting UI Display Issues via Visual Understanding. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alan Romano, Yunhui Zheng, Weihang Wang 0001 |
MinerRay: Semantics-Aware Analysis for Ever-Evolving Cryptojacking Detection. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shangqing Liu |
A Unified Framework to Learn Program Semantics with Graph Neural Networks. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yi Wu |
Anti-patterns for Java Automated Program Repair Tools. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Davrondzhon Gafurov, Margrete Sunde Grovan, Arne Erik Hurum |
Lightweight MBT Testing for National e-Health Portal in Norway. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Wei Wang 0334, Ruoxi Sun 0001, Minhui Xue, Damith C. Ranasinghe |
An Automated Assessment of Android Clipboards. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Benton, Xia Li 0009, Yiling Lou, Lingming Zhang 0001 |
On the Effectiveness of Unified Debugging: An Extensive Study on 16 Program Repair Systems. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shuai Wang 0011, Zhendong Su 0001 |
Metamorphic Object Insertion for Testing Object Detection Systems. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mitchell Olsthoorn, Arie van Deursen, Annibale Panichella |
Generating Highly-structured Input Data by Combining Search-based Testing and Grammar-based Fuzzing. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yueming Wu, Deqing Zou, Shihan Dou, Siru Yang, Wei Yang 0013, Feng Cheng, Hong Liang, Hai Jin 0001 |
SCDetector: Software Functional Clone Detection Based on Semantic Tokens Analysis. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alan Romano, Weihang Wang 0001 |
WASim: Understanding WebAssembly Applications through Classification. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoxue Ren, Xinyuan Ye, Zhenchang Xing, Xin Xia 0001, Xiwei Xu 0001, Liming Zhu 0001, Jianling Sun |
API-Misuse Detection Driven by Fine-Grained API-Constraint Knowledge Graph. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Christian Schindler |
Towards Transparency-Encouraging Partial Software Disclosure to Enable Trust in Data Usage. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hoang Lam Nguyen, Nebras Nassar, Timo Kehrer, Lars Grunske |
MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoning Du 0001, Yi Li 0008, Xiaofei Xie, Lei Ma 0003, Yang Liu 0003, Jianjun Zhao 0001 |
Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hala Abdelkader |
Towards Robust Production Machine Learning Systems: Managing Dataset Shift. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle |
M3: Semantic API Migrations. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kellogg, Martin Schäf, Serdar Tasiran, Michael D. Ernst |
Continuous Compliance. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jesse Bartels, Jon Stephens, Saumya Debray |
Representing and Reasoning about Dynamic Code. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kristian Kolthoff, Christian Bartelt, Simone Paolo Ponzetto |
GUI2WiRe: Rapid Wireframing with a Mined and Large-Scale GUI Repository using Natural Language Requirements. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Jafar Mashhadi, Hadi Hemmati |
Hybrid Deep Neural Networks to Infer State Models of Black-Box Systems. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Omar Javed, Joshua Heneage Dawes, Marta Han, Giovanni Franzoni, Andreas Pfeiffer, Giles Reger, Walter Binder |
PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yufeng Zhang 0001, Zhenbang Chen, Ziqi Shuai, Tianqi Zhang, Kenli Li 0001, Ji Wang 0001 |
Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | César Cornejo |
SAT-Based Arithmetic Support for Alloy. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zhipeng Gao |
When Deep Learning Meets Smart Contracts. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Wuxia Jin, Yuanfang Cai, Rick Kazman, Gang Zhang, Qinghua Zheng, Ting Liu 0002 |
Exploring the Architectural Impact of Possible Dependencies in Python Software. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yueling Zhang, Geguang Pu, Jun Sun 0001 |
Accelerating All-SAT Computation with Short Blocking Clauses. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Devjeet Roy, Ziyi Zhang, Maggie Ma, Venera Arnaoudova, Annibale Panichella, Sebastiano Panichella, Danielle Gonzalez, Mehdi Mirakhorli |
DeepTC-Enhancer: Improving the Readability of Automatically Generated Tests. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Haining Feng |
A Program Verification based Approach to Find Data Race Vulnerabilities in Interrupt-driven Program. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zhiyuan Wan, Gail C. Murphy, Xin Xia 0001 |
Predicting Code Context Models for Software Development Tasks. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani |
FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Farnaz Behrang, Alessandro Orso |
Seven Reasons Why: An In-Depth Study of the Limitations of Random Test Input Generation for Android. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dan Zhang, Ping Luo 0004, Wei Tang, Min Zhou |
OSLDetector: Identifying Open-Source Libraries through Binary Analysis. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | João F. Ferreira 0001, Pedro Cruz 0003, Thomas Durieux, Rui Abreu 0001 |
SmartBugs: A Framework to Analyze Solidity Smart Contracts. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shahar Maoz, Ilia Shevrin |
Just-In-Time Reactive Synthesis. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Haochen He, Zhouyang Jia, Shanshan Li 0001, Erci Xu, Tingting Yu, Yue Yu 0001, Ji Wang 0001, Xiangke Liao |
CP-Detector: Using Configuration-related Performance Properties to Expose Performance Bugs. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jianhui Chen, Fei He 0001 |
Proving Termination by k-Induction. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chris Satterfield, Thomas Fritz 0001, Gail C. Murphy |
Identifying and Describing Information Seeking Tasks. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Haoye Tian, Kui Liu 0001, Abdoul Kader Kaboré, Anil Koyuncu, Li Li 0029, Jacques Klein, Tegawendé F. Bissyandé |
Evaluating Representation Learning of Code Changes for Predicting Patch Correctness in Program Repair. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Brandon Paulsen, Jingbo Wang 0006, Jiawei Wang, Chao Wang 0001 |
NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anjana Perera, Aldeida Aleti, Marcel Böhme, Burak Turhan |
Defect Prediction Guided Search-Based Software Testing. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Harshita Diddee, Bhrigu Kansra |
CrossPriv: User Privacy Preservation Model for Cross-Silo Federated Software. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael C. Gerten, James I. Lathrop, Myra B. Cohen, Titus H. Klinge |
ChemTest: An Automated Software Testing Framework for an Emerging Paradigm. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yang Liu 0003, Mingwei Liu 0002, Xin Peng 0001, Christoph Treude, Zhenchang Xing, Xiaoxin Zhang |
Generating Concept based API Element Comparison Using a Knowledge Graph. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kamil Adipovich Masalimov |
A Machine Learning based Approach to Autogenerate Diagnostic Models for CNC machines. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Guoliang Dong, Jingyi Wang 0004, Jun Sun 0001, Yang Zhang, Xinyu Wang 0001, Ting Dai, Jin Song Dong, Xingen Wang |
Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Joymallya Chakraborty, Kewen Peng, Tim Menzies |
Making Fair ML Software using Trustworthy Explanation. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yating Zhang |
Scalability and Precision Improvement of Neural Program Synthesis. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hongyu Liu 0005, Ruiqin Tian, Tongping Liu, Bin Ren |
Prober: Practically Defending Overflows with Page Protection. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zhenhao Li, Tse-Hsun Chen, Weiyi Shang |
Where Shall We Log? Studying and Suggesting Logging Locations in Code Blocks. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nikola Lukic, Saghar Talebipour, Nenad Medvidovic |
AirMochi - A Tool for Remotely Controlling iOS Devices. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David Gros, Hariharan Sezhiyan, Prem Devanbu, Zhou Yu 0005 |
Code to Comment "Translation": Data, Metrics, Baselining & Evaluation. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nick Feng, Federico Mora, Vincent Hui, Marsha Chechik |
Scaling Client-Specific Equivalence Checking via Impact Boundary Search. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shangwen Wang, Ming Wen 0001, Bo Lin, Hongjun Wu, Yihao Qin, Deqing Zou, Xiaoguang Mao, Hai Jin 0001 |
Automated Patch Correctness Assessment: How Far are We? |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zhenfei Cao, Xu Wang, Shengcheng Yu, Yexiao Yun, Chunrong Fang |
STIFA: Crowdsourced Mobile Testing Report Selection Based on Text and Image Fusion Analysis. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lili Quan, Qianyu Guo, Hongxu Chen 0001, Xiaofei Xie, Xiaohong Li 0001, Yang Liu 0003, Jing Hu 0007 |
SADT: Syntax-Aware Differential Testing of Certificate Validation in SSL/TLS Implementations. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Stöckle, Bernd Grobauer, Alexander Pretschner |
Automated Implementation of Windows-related Security-Configuration Guides. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chijin Zhou, Mingzhe Wang, Jie Liang 0006, Zhe Liu 0001, Yu Jiang 0001 |
Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daohan Song, Hao Zhong 0001, Li Jia |
The Symptom, Cause and Repair of Workaround. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David Berend, Xiaofei Xie, Lei Ma 0003, Lingjun Zhou, Yang Liu 0003, Chi Xu, Jianjun Zhao 0001 |
Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hung Viet Pham, Shangshu Qian, Jiannan Wang 0002, Thibaud Lutellier, Jonathan Rosenthal, Lin Tan 0001, Yaoliang Yu, Nachiappan Nagappan |
Problems and Opportunities in Training Deep Learning Software Systems: An Analysis of Variance. |
ASE |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rashmi Mudduluru |
Verifying Determinism in Sequential Programs. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kapil Singi, R. P. Jagadeesh Chandra Bose, Sanjay Podder, Adam P. Burden |
Trusted Software Supply Chain. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yueming Wu, Xiaodi Li, Deqing Zou, Wei Yang 0013, Xin Zhang, Hai Jin 0001 |
MalScan: Fast Market-Wide Mobile Malware Scanning by Social-Network Centrality Analysis. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuanchun Li, Ziyue Yang, Yao Guo 0001, Xiangqun Chen |
Humanoid: A Deep Learning-Based Approach to Automated Black-box Android App Testing. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xusheng Xiao |
An Image-Inspired and CNN-Based Android Malware Detection Approach. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chijin Zhou, Mingzhe Wang, Jie Liang 0006, Zhe Liu 0001, Chengnian Sun, Yu Jiang 0001 |
VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Nowack |
Fine-Grain Memory Object Representation in Symbolic Execution. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Soto |
Improving Patch Quality by Enhancing Key Components of Automatic Program Repair. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Qianyu Guo, Sen Chen 0001, Xiaofei Xie, Lei Ma 0003, Qiang Hu, Hongtao Liu, Yang Liu 0003, Jianjun Zhao 0001, Xiaohong Li 0001 |
An Empirical Study Towards Characterizing Deep Learning Development and Deployment Across Different Frameworks and Platforms. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Reza Ahmadi, Karim Jahed, Juergen Dingel |
mCUTE: A Model-Level Concolic Unit Testing Engine for UML State Machines. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ahmet Çelik, Karl Palmskog, Marinela Parovic, Emilio Jesús Gallego Arias, Milos Gligoric 0001 |
Mutation Analysis for Coq. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoning Du 0001, Xiaofei Xie, Yi Li 0008, Lei Ma 0003, Yang Liu 0003, Jianjun Zhao 0001 |
A Quantitative Analysis Framework for Recurrent Neural Network. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Madeline Endres, Georgios Sakkas, Benjamin Cosman, Ranjit Jhala, Westley Weimer |
InFix: Automatically Repairing Novice Program Inputs. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zan Wang, Yingquan Zhao, Shuang Liu 0007, Jun Sun 0001, Xiang Chen 0005, Huarui Lin |
MAP-Coverage: A Novel Coverage Criterion for Testing Thread-Safe Classes. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mingyuan Wu, Lingming Zhang 0001, Cong Liu 0005, Shin Hwei Tan, Yuqun Zhang |
Automating CUDA Synchronization via Program Transformation. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Guilherme Cavalcanti, Paulo Borba, Georg Seibt, Sven Apel |
The Impact of Structure on Software Merging: Semistructured Versus Structured Merge. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiaodong Gu 0002, Hongyu Zhang 0002, Sunghun Kim 0001 |
CodeKernel: A Graph Kernel Based Approach to the Selection of API Usage Examples. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Lacomis, Pengcheng Yin, Edward J. Schwartz, Miltiadis Allamanis, Claire Le Goues, Graham Neubig, Bogdan Vasilescu |
DIRE: A Neural Approach to Decompiled Identifier Naming. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Mehra, Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder |
XRaSE: Towards Virtually Tangible Software using Augmented Reality. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xiaofei Xie, Hongxu Chen 0001, Yi Li 0008, Lei Ma 0003, Yang Liu 0003, Jianjun Zhao 0001 |
Coverage-Guided Fuzzing for Feedforward Neural Networks. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zhouyang Jia, Shanshan Li 0001, Tingting Yu, Xiangke Liao, Ji Wang 0001, Xiaodong Liu 0004, Yunhuai Liu |
Detecting Error-Handling Bugs without Error Specification Input. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vahid Alizadeh, Mohamed Amine Ouali, Marouane Kessentini, Meriem Chater |
RefBot: Intelligent Software Refactoring Bot. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nimrod Busany, Shahar Maoz, Yehonatan Yulazari |
Size and Accuracy in Model Inference. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ali Ghanbari 0001 |
Toward Practical Automatic Program Repair. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yao Wan 0001, Jingdong Shu, Yulei Sui, Guandong Xu 0001, Zhou Zhao, Jian Wu 0001, Philip S. Yu |
Multi-modal Attention Network Learning for Semantic Source Code Retrieval. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Brandon Paulsen, Chungha Sung, Peter A. H. Peterson, Chao Wang 0001 |
Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Padraic Cashin, Carianne Martinez, Westley Weimer, Stephanie Forrest |
Understanding Automatically-Generated Patches Through Symbolic Invariant Differences. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | |
34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019 |
ASE |
2019 |
DBLP BibTeX RDF |
|
1 | Marina Reich |
Inference of Properties from Requirements and Automation of Their Formal Verification. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | C. M. Khaled Saifullah, Muhammad Asaduzzaman, Chanchal K. Roy |
Learning from Examples to Find Fully Qualified Names of API Elements in Code Snippets. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Son Nguyen, Hoan Nguyen, Ngoc M. Tran, Hieu Tran, Tien N. Nguyen |
Feature-Interaction Aware Configuration Prioritization for Configurable Code. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tamjid Al Rahat, Yu Feng 0001, Yuan Tian 0001 |
OAUTHLINT: An Empirical Study on OAuth Bugs in Android Applications. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Elena Sherman, Andrew Harris |
Accurate String Constraints Solution Counting with Weighted Automata. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dongwoo Kim, Yunja Choi |
Model Checking Embedded Control Software using OS-in-the-Loop CEGAR. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Afzal, Asia A, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Advaita Datar, Shrawan Kumar 0001, R. Venkatesh 0001 |
VeriAbs : Verification by Abstraction and Test Generation. |
ASE |
2019 |
DBLP DOI BibTeX RDF |
|
|
|