The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "QRS"( http://dblp.L3S.de/Venues/QRS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/qrs

Publication years (Num. hits)
2015 (39) 2016 (49) 2017 (48) 2018 (51) 2019 (48) 2020 (61) 2021 (109) 2022 (108) 2023 (71)
Publication types (Num. hits)
inproceedings(575) proceedings(9)
Venues (Conferences, Journals, ...)
QRS(584)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 584 publication records. Showing 584 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Satya Pradhan, Venky Nanniyur, Pavan K. Vissapragada On the Defect Prediction for Large Scale Software Systems - From Defect Density to Machine Learning. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Sina Niedermaier, Stefan Heisse, Stefan Wagner 0001 Correct and Control Complex IoT Systems: Evaluation of a Classification for System Anomalies. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Hong Lu, Chengyi Wang, Jiacheng Gui, Hao Huang PBLInv: Postcondition-based Loop Invariant Learning for C Programs. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Manel Grichi, Mouna Abidi, Fehmi Jaafar, Ellis E. Eghan, Bram Adams On the Impact of Inter-language Dependencies in Multi-language Systems. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Jinfu Chen 0001, Lingling Zhao, Minmin Zhou, Yisong Liu, Songling Qin An Approach to Determine the Optimal k-Value of K-means Clustering in Adaptive Random Testing. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Yaning Han, Yunyun Ma, Jinbo Wang, Jianmin Wang 0015 Research on ensemble model of anomaly detection based on autoencoder. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Lukás Korencik, Petr Rockai, Henrich Lauko, Jiri Barnat On Symbolic Execution of Decompiled Programs. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Jiang Wu, Jianjun Xu, Xiankai Meng, Zhuo Zhang 0007, Nan Zhang, Haoyu Zhang High-Reliability Compilation Optimization Sequence Generation Framework Based ANN. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Pavel Dovgalyuk, Ivan Vasiliev, Natalia Fursova, Denis Dmitriev, Mikhail Abakumov, Vladimir Makarov Non-intrusive Virtual Machine Analysis and Reverse Debugging with SWAT. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Steve Counsell, Giuseppe Destefanis, Steve Swift, Mahir Arzoky, Davide Taibi 0001 On the Link Between Refactoring Activity and Class Cohesion Through the Prism of Two Cohesion-Based Metrics. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Huidan Li, Rensong Xie, Xianglong Kong, Lulu Wang 0001, Bixin Li An Analysis of Utility for API Recommendation: Do the Matched Results Have the Same Efforts? Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Xiaoqi Li 0001, Ting Chen 0002, Xiapu Luo, Tao Zhang 0001, Le Yu 0002, Zhou Xu 0003 STAN: Towards Describing Bytecodes of Smart Contract. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Rui Wang 0048, Cyrille Artho, Lars Michael Kristensen, Volker Stolz Multi-objective Search for Model-based Testing. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Vasileios Matsoukas, Themistoklis Diamantopoulos, Michail D. Papamichail, Andreas L. Symeonidis Towards Analyzing Contributions from Software Repositories to Optimize Issue Assignment. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Song Huang, Hao Chen, Zhanwei Hui, Yuchan Liu A Survey of the Use of Test Report in Crowdsourced Testing. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Max Landauer, Florian Skopik, Markus Wurzenberger, Wolfgang Hotwagner, Andreas Rauber Have It Your Way: Generating Customized Log Data Sets with a Model-driven Simulation Testbed. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Yi Yao, Yuchan Liu, Song Huang, Hao Chen, Jialuo Liu, Fan Yang Cross-Project Dynamic Defect Prediction Model for Crowdsourced test. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Bingming Wang, Shi Ying, Guoli Cheng, Yiyao Li A log-based anomaly detection method with the NW ensemble rules. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1 20th IEEE International Conference on Software Quality, Reliability and Security, QRS 2020, Macau, China, December 11-14, 2020 Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Zijie Li, Long Zhang, Jun Yan 0009, Jian Zhang 0001, Zhenyu Zhang 0004, T. H. Tse PEACEPACT: Prioritizing Examples to Accelerate Perturbation-Based Adversary Generation for DNN Classification Testing. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Xin Li, Xiaoxing Yang, Jianmin Su, Wushao Wen A Multi-Objective Learning Method for Building Sparse Defect Prediction Models. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Jincheng He, Sitao Min, Kelechi Ogudu, Michael Shoga, Alex Polak, Iordanis Fostiropoulos, Barry W. Boehm, Pooyan Behnamghader The Characteristics and Impact of Uncompilable Code Changes on Software Quality Evolution. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Alex Groce, Josie Holmes Practical Automatic Lightweight Nondeterminism and Flaky Test Detection and Debugging for Python. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo Comprehensive Robustness Evaluation of File Systems with Model Checking. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Kunsong Zhao, Zhou Xu 0003, Tao Zhang 0001, Yutian Tang Simplified Deep Forest Model based Just-In-Time Defect Prediction for Android Mobile Apps. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Shasha Cheng, Xuefeng Yan, Arif Ali Khan A Similarity Integration Method based Information Retrieval and Word Embedding in Bug Localization. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Haihua Chen 0002, Jiangping Chen, Junhua Ding Data Evaluation and Enhancement for Quality Improvement of Machine Learning. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Yuanzhe Hu, Junjie Wang 0001, Jie Hou, Shoubin Li, Qing Wang 0001 Is There A "Golden" Rule for Code Reviewer Recommendation? : - An Experimental Evaluation. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Wenjun Ke, Chao Wu, Xiufeng Fu, Chen Gao, Yinyi Song Interpretable Test Case Recommendation based on Knowledge Graph. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Miroslav Gavrilov, Kyle Dewey, Alex Groce, Davina Zamanzadeh, Ben Hardekopf A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Xiwei Qiu, Yuanshun Dai, Peng Sun, Xin Jin PHM Technology for Memory Anomalies in Cloud Computing for IaaS. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Jinjin Han, Zheng Li 0002, Junxia Guo, Ruilian Zhao Convergence based Evaluation Strategies for Learning Agent of Hyper-heuristic Framework for Test Case Prioritization. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Qi Shao, Shunkun Yang, Chong Bian, Xiaodong Gou Reliability Evaluation of FPGA with Common Cause Failure in Multi-Phase Mission. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Lorenz Klampfl, Nour Chetouane, Franz Wotawa Mutation Testing for Artificial Neural Networks: An Empirical Evaluation. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Kai Yamamoto, Masanari Kondo, Kinari Nishiura, Osamu Mizuno Which Metrics Should Researchers Use to Collect Repositories: An Empirical Study. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Yuli Tian, Ning Li 0022, Jeff Tian, Wei Zheng How Well Just-In-Time Defect Prediction Techniques Enhance Software Reliability? Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Bo Yang, Yuze He, Huai Liu, Yixin Chen 0002, Zhi Jin A Lightweight Fault Localization Approach based on XGBoost. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Jie Zhang 0084, Cong Tian, Zhenhua Duan, Liang Zhao 0021 RTPDroid: Detecting Implicitly Malicious Behaviors Under Runtime Permission Model. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Shoma Kokuryo, Masanari Kondo, Osamu Mizuno An Empirical Study of Utilization of Imperative Modules in Ansible. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Yuqian Pan, Haichun Zhang, Mingyang Gong, Zhenglin Liu Process-variation Effects on 3D TLC Flash Reliability: Characterization and Mitigation Scheme. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Bingzhuo Li, Chunyang Ye, Shouyang Guan, Hui Zhou Semantic Code Clone Detection Via Event Embedding Tree and GAT Network. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Ai Gong, Yi Zhong, Weiqin Zou, Yangyang Shi, Chunrong Fang Incorporating Android Code Smells into Java Static Code Metrics for Security Risk Prediction of Android Applications. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Tengfei Li 0002, Jing Liu 0012, Jiexiang Kang, Haiying Sun, Wei Yin, Xiaohong Chen 0007, Hui Wang STSL: A Novel Spatio-Temporal Specification Language for Cyber-Physical Systems. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Jiannan Liu, Kun Xiao, Lei Luo 0004, Yun Li, Lirong Chen An intrusion detection system integrating network-level intrusion detection and host-level intrusion detection. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Ryujiro Nishinaka, Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato 0001 How Fast and Effectively Can Code Change History Enrich Stack Overflow? Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Weisong Sun, Guangyao Xu, Zijiang Yang 0006, Zhenyu Chen 0001 Early Detection of Smart Ponzi Scheme Contracts Based on Behavior Forest Similarity. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Shuaibing Lu, Xiaohui Kuang, Yuanping Nie, Zhechao Lin A Hybrid Interface Recovery Method for Android Kernels Fuzzing. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Xu Xu, Yangyu Hu, Qian Guo, Ren He, Li Li 0029, Guoai Xu, Zhihui Han, Haoyu Wang 0001 Dissecting Mobile Offerwall Advertisements: An Explorative Study. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Runfeng Mao, He Zhang 0001, Qiming Dai, Huang Huang, Guoping Rong, Haifeng Shen, Lianping Chen, Kaixiang Lu Preliminary Findings about DevSecOps from Grey Literature. Search on Bibsonomy QRS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Veysel Hatas, Sevil Sen, John A. Clark Efficient Evolutionary Fuzzing for Android Application Installation Process. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhiyi Zhang 0005, Xiaoyuan Xie On the Investigation of Essential Diversities for Deep Learning Testing Criteria. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ming Yang, Dongdong Zhao 0001, Luyao Ye, Siwei Zhou, Jianwen Xiang Reliability Analysis of Phased-Mission System in Irrelevancy Coverage Model. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yingling Li, Junjie Wang 0001, Yun Yang 0001, Qing Wang 0001 Method-Level Test Selection for Continuous Integration with Static Dependencies and Dynamic Execution Rules. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wensheng Xia, Ying Li 0012, Tong Jia, Zhonghai Wu BugIdentifier: An Approach to Identifying Bugs via Log Mining for Accelerating Bug Reporting Stage. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Srijoni Majumdar, Shakti Papdeja, Partha Pratim Das, Soumya Kanti Ghosh 0001 SMARTKT: A Search Framework to Assist Program Comprehension using Smart Knowledge Transfer. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wim van der Vegt, Wim Westera Quality of Reusable Game Software: Empowering Developers with Automated Quality Checks. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michaël Larouche, Sylvain Hallé Efficient Generation of Test Data with Extended Cardinality Constraints. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hiroyuki Okamura, Tadashi Dohi On Kolmogorov-Smirnov Test for Software Reliability Models with Grouped Data. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Junhua Ding, XinChuan Li, Xin-Hua Hu Testing Scientific Software with Invariant Relations: A Case Study. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexandre Petrenko, Florent Avellaneda Learning and Adaptive Testing of Nondeterministic State Machines. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019, Sofia, Bulgaria, July 22-26, 2019 Search on Bibsonomy QRS The full citation details ... 2019 DBLP  BibTeX  RDF
1Christos Psarras, Themistoklis Diamantopoulos, Andreas L. Symeonidis A Mechanism for Automatically Summarizing Software Functionality from Source Code. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xutong Ma, Jiwei Yan, Jun Yan 0009, Jian Zhang 0001 Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Arpit Christi, Alex Groce, Rahul Gopinath Evaluating Fault Localization for Resource Adaptation via Test-Based Software Modification. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Weiqin Zou, Weiqiang Zhang, Xin Xia 0001, Reid Holmes, Zhenyu Chen 0001 Branch Use in Practice: A Large-Scale Empirical Study of 2, 923 Projects on GitHub. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tobias F. Pfeffer, Thomas Göthel, Sabine Glesner Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Florian Klück, Martin Zimmermann 0007, Franz Wotawa, Mihai Nica Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Li Huang 0001, Tian Liang, Eun-Young Kang 0001 Tool-Supported Analysis of Dynamic and Stochastic Behaviors in Cyber-Physical Systems. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fei Wang, Jun Ai, Zhuoliang Zou A Cluster-Based Hybrid Feature Selection Method for Defect Prediction. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Takahiro Ushiroda, Tadashi Dohi, Yasuhiro Saito, Hiroyuki Okamura A Point Process Approach of Bug Fixing Analysis in Open Source Software Projects. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Charitha Hettiarachchi, Hyunsook Do A Systematic Requirements and Risks-Based Test Case Prioritization Using a Fuzzy Expert System. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zheng Li 0002, Yonghao Wu, Yong Liu 0030 An Empirical Study of Bug Isolation on the Effectiveness of Multiple Fault Localization. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Muhammad Mohsin, Muhammad Umair Khan UML-SR: A Novel Security Requirements Specification Language. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sebastian Hönel, Morgan Ericsson, Welf Löwe, Anna Wingkvist Importance and Aptitude of Source Code Density for Commit Classification into Maintenance Activities. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xudong He, Dewan Mohammad Moksedul Alam Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christophe Reymann, Mohammed Foughali, Simon Lacroix Repeatable Decentralized Simulations for Cyber-Physical Systems. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Konrad Fögen, Horst Lichter Combinatorial Robustness Testing with Negative Test Cases. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zachary B. Ratliff, D. Richard Kuhn, Daniel J. Ragsdale Detecting Vulnerabilities in Android Applications using Event Sequences. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato 0001 When and Why Do Software Developers Face Uncertainty? Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Da Li, Huiyan Wang 0001, Chang Xu 0001, Fengmin Shi, Xiaoxing Ma, Jian Lu 0001 WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Patrick Kwaku Kudjo, Jinfu Chen 0001, Minmin Zhou, Solomon Mensah, Rubing Huang Improving the Accuracy of Vulnerability Report Classification Using Term Frequency-Inverse Gravity Moment. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Leila Abdollahi Vayghan, Mohamed Aymen Saied, Maria Toeroe, Ferhat Khendek Microservice Based Architecture: Towards High-Availability for Stateful Applications with Kubernetes. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hanyu Pei, Beibei Yin, Kai-Yuan Cai, Min Xie 0001 A Distance-Based Dynamic Random Testing with Test Case Clustering. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Qiqi Gu, Weilin Cai, Shengcheng Yu, Zhenyu Chen 0001 An Exploratory Study on Judicial Image Quality Assessment Based on Deep Learning. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yanxin Liu, Jian Dong, Decheng Zuo, Hongwei Liu 0002 Experimental Analysis and Comparison of Load Prediction Algorithms in Cloud Data Center. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Reem Alfayez, Barry W. Boehm Technical Debt Prioritization: A Search-Based Approach. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Celia Chen, Michael Shoga, Barry W. Boehm Characterizing Software Maintainability in Issue Summaries using a Fuzzy Classifier. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda Fault Detection in Timed FSM with Timeouts by SAT-Solving. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Vassil Todorov, Safouan Taha, Frédéric Boulanger, Armando Hernandez Improved Invariant Generation for Industrial Software Model Checking of Time Properties. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Omari, Jinfu Chen 0001, Patrick Kwaku Kudjo, Hilary Ackah-Arthur, Rubing Huang Random Border Mirror Transform: A Diversity Based Approach to an Effective and Efficient Mirror Adaptive Random Testing. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhou Xu 0003, Sizhe Ye, Tao Zhang 0001, Zhen Xia, Shuai Pang, Yong Wang 0020, Yutian Tang MVSE: Effort-Aware Heterogeneous Defect Prediction via Multiple-View Spectral Embedding. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yuki Noyori, Hironori Washizaki, Yoshiaki Fukazawa, Keishi Oshima, Hideyuki Kanuka, Shuhei Nojiri, Ryosuke Tsuchiya What are Good Discussions Within Bug Report Comments for Shortening Bug Fixing Time? Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Qi Yu, Xiaoping Che, Yuxiang Yang, Liqiang Wang A Transfer Learning Based Interpretable User Experience Model on Small Samples. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tong Wang, Bixin Li Analyzing Software Architecture Evolvability Based on Multiple Architectural Attributes Measurements. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mingyang Li, Lin Shi 0006, Qing Wang 0001 Are All Duplicates Value-Neutral? An Empirical Analysis of Duplicate Issue Reports. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Houssem Ben Braiek, Foutse Khomh TFCheck : A TensorFlow Library for Detecting Training Issues in Neural Network Programs. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yue Chen, Xuefeng Yan, Arif Ali Khan A Novel Reliability Assessment Method Based on the Effects of Components. Search on Bibsonomy QRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Teng Wang 0004, Xiaodong Liu 0004, Shanshan Li 0001, Xiangke Liao, Wang Li 0003, Qing Liao 0001 MisconfDoctor: Diagnosing Misconfiguration via Log-Based Configuration Testing. Search on Bibsonomy QRS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rong Wang 0002, Shaoying Liu TBFV-SE: Testing-Based Formal Verification with Symbolic Execution. Search on Bibsonomy QRS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Samer Khamaiseh, Patrick Chapman, Dianxiang Xu Model-Based Testing of Obligatory ABAC Systems. Search on Bibsonomy QRS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
Displaying result #301 - #400 of 584 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license