The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
1997 (48) 1998 (45) 1999 (53) 2000 (46) 2001 (69) 2002 (46) 2003 (55) 2004 (66) 2005 (82) 2006 (70) 2007 (103) 2008 (94) 2009 (90) 2010 (88) 2011 (113) 2012 (69) 2013 (95) 2014 (108) 2015 (101) 2016 (101) 2017 (118) 2018 (115)
Publication types (Num. hits)
inproceedings(1751) proceedings(24)
Venues (Conferences, Journals, ...)
ASE(1775)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1188 occurrences of 728 keywords

Results
Found 1775 publication records. Showing 1775 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Xiang Zhou, Xin Peng 0001, Tao Xie, Jun Sun 0001, Wenhai Li, Chao Ji, Dan Ding Delta debugging microservice systems. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gail C. Murphy The need for context in software engineering (IEEE CS Harlan Mills award keynote). Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gabriël Konat, Sebastian Erdweg, Eelco Visser Scalable incremental building with dynamic task dependencies. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kaifeng Huang, Bihuan Chen 0001, Xin Peng 0001, Daihong Zhou, Ying Wang, Yang Liu 0003, Wenyun Zhao ClDiff: generating concise linked code differences. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jie Liu, Diyu Wu, Jingling Xue TDroid: exposing app switching attacks in Android with control flow specialization. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Federico Mora, Yi Li 0008, Julia Rubin, Marsha Chechik Client-specific equivalence checking. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Oscar Luis Vera-Pérez, Martin Monperrus, Benoit Baudry Descartes: a PITest engine to detect pseudo-tested methods: tool demonstration. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang 0001, Jiaguang Sun S-gram: towards semantic-aware security auditing for Ethereum smart contracts. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ali Ouni 0001, Marouane Kessentini, Mel Ó Cinnéide (eds.) Proceedings of the 2nd International Workshop on Refactoring, IWoR@ASE 2018, Montpellier, France, September 4, 2018 Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jian Gao, Xin Yang, Ying Fu, Yu Jiang 0001, Jiaguang Sun VulSeeker: a semantic learning based vulnerability seeker for cross-platform binary. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nataniel P. Borges Jr., Jenny Hotzkow, Andreas Zeller DroidMate-2: a platform for Android test generation. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrew Habib, Michael Pradel Is this class thread-safe? inferring documentation using graph-based learning. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang 0001 Datalog-based scalable semantic diffing of concurrent programs. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sooyoung Cha, Seonho Lee, Hakjoo Oh Template-guided concolic testing via online learning. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chungha Sung, Brandon Paulsen, Chao Wang 0001 CANAL: a cache timing analysis framework via LLVM transformation. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Huarui Lin, Zan Wang, Shuang Liu, Jun Sun 0001, Dongdi Zhang, Guangning Wei PFix: fixing concurrency bugs based on memory access patterns. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Sferruzza Top-down model-driven engineering of web services from extended OpenAPI models. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John-Paul Ore, Sebastian G. Elbaum, Carrick Detweiler, Lambros Karkazis Assessing the type annotation burden. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wenyu Wang, Dengfeng Li, Wei Yang 0013, Yurui Cao, Zhenwen Zhang, Yuetang Deng, Tao Xie An empirical study of Android test generation tools in industrial cases. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Philipp Haindl Assessing and evaluating functional suitability of software. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Liang Bao, Xin Liu, Ziheng Xu, Baoyin Fang AutoConfig: automatic configuration tuning for distributed message systems. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mahmoud Hammad, Joshua Garcia, Sam Malek Self-protection of Android systems from inter-component communication attacks. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhongxin Liu, Xin Xia 0001, Ahmed E. Hassan, David Lo 0001, Zhenchang Xing, Xinyu Wang 0001 Neural-machine-translation-based commit message generation: how far are we? Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Oscar Soria Dustmann, Klaus Wehrle, Cristian Cadar PARTI: a multi-interval theory solver for symbolic execution. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rijnard van Tonder, John Kotheimer, Claire Le Goues Semantic crash bucketing. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bingchang Liu, Wei Huo, Chao Zhang 0008, Wenchao Li, Feng Li, Aihua Piao, Wei Zou αDiff: cross-version binary code similarity detection with DNN. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yao Wan, Zhou Zhao, Min Yang, Guandong Xu, Haochao Ying, Jian Wu 0001, Philip S. Yu Improving automatic source code summarization via deep reinforcement learning. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yixue Zhao, Paul Wat, Marcelo Schmitt Laser, Nenad Medvidovic Empirically assessing opportunities for prefetching and caching in mobile apps. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mukelabai Mukelabai, Damir Nesic, Salome Maro, Thorsten Berger, Jan-Philipp Steghöfer Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systems. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu 0005, Sarfraz Khurshid DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vladimir Kovalenko, Fabio Palomba, Alberto Bacchelli Mining file histories: should we consider branches? Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Julián Grigera, Juan Cruz Gardey, Alejandra Garrido, Gustavo Rossi Live versioning of web applications through refactoring. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu 0003, Jianjun Zhao, Yadong Wang DeepGauge: multi-granularity testing criteria for deep learning systems. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jianhui Chen, Fei He Control flow-guided SMT solving for program verification. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jianxiong Gao, Steven S. Lumetta Loop path reduction by state pruning. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Florian Galinier A DSL for requirements in the context of a seamless approach. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Caroline Lemieux, Koushik Sen FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Qiao Huang, Xin Xia 0001, Zhenchang Xing, David Lo 0001, Xinyu Wang 0001 API method recommendation without worrying about the task-API knowledge gap. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Davide Falessi, Massimiliano Di Penta, Gerardo Canfora, Giovanni Cantone Estimating the number of remaining links in traceability recovery (journal-first abstract). Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Huaxun Huang, Lili Wei, Yepang Liu, Shing-Chi Cheung Understanding and detecting callback compatibility issues for Android applications. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ameni Ben Fadhel, Domenico Bianculli, Lionel C. Briand Model-driven run-time enforcement of complex role-based access control policies. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jiajun Hu, Lili Wei, Yepang Liu, Shing-Chi Cheung, Huaxun Huang A tale of two cities: how WebView induces bugs to Android applications. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xiang Gao, Shin Hwei Tan, Zhen Dong, Abhik Roychoudhury Android testing via synthetic symbolic execution. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bo Jiang 0001, Ye Liu, W. K. Chan 0001 ContractFuzzer: fuzzing smart contracts for vulnerability detection. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening Concolic testing for deep neural networks. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rui Pereira, Pedro Simão, Jácome Cunha, João Saraiva jStanley: placing a green thumb on Java collections. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Keheliya Gallaba, Christian Macho, Martin Pinzger 0001, Shane McIntosh Noise and heterogeneity in historical build data: an empirical study of Travis CI. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mikaela Cashman, Myra B. Cohen, Priya Ranjan, Robert W. Cottingham Navigating the maze: the impact of configurability in bioinformatics software. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter Testing autonomous cars for feature interaction failures using many-objective search. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Julien Delplanque Software engineering techniques applied to relational databases. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu 0003, Lihua Xu, Geguang Pu Efficiently manifesting asynchronous programming errors in Android apps. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yuju Shen, Yanyan Jiang 0001, Chang Xu 0001, Ping Yu 0002, Xiaoxing Ma, Jian Lu 0001 ReScue: crafting regular expression DoS attacks. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yutaka Nagashima, Yilun He PaMpeR: proof method recommendation system for Isabelle/HOL. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marianne Huchard, Christian Kästner, Gordon Fraser (eds.) Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018 Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dongjie He, Lian Li 0002, Lei Wang, Hengjie Zheng, Guangwei Li, Jingling Xue Understanding and detecting evolution-induced compatibility issues in Android apps. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang 0001, Jianhua Zhao Dual-force: understanding WebView malware via cross-language forced execution. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Liangze Yin, Wei Dong 0006, Wanwei Liu, Ji Wang Scheduling constraint based abstraction refinement for weak memory models. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hashim Sharif, Muhammad Abubakar, Ashish Gehani, Fareed Zaffar TRIMMER: application specialization for code debloating. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, Eddie Batista de Lima Filho Bounded model checking of C++ programs based on the Qt cross-platform framework (journal-first abstract). Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Foyzul Hassan, Rodney Rodriguez, Xiaoyin Wang RUDSEA: recommending updates of Dockerfiles via software environment analysis. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yu Qu, Ting Liu 0002, Jianlei Chi, Yangxu Jin, Di Cui, Ancheng He, Qinghua Zheng node2defect: using network embedding to improve software defect prediction. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luca Traini A multi-objective framework for effective performance fault injection in distributed systems. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohammad Roohitavaf, Sandeep S. Kulkarni DKVF: a framework for rapid prototyping and evaluating distributed key-value stores. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Thomas Lemberger 0002 CPA-SymExec: efficient symbolic execution in CPAchecker. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xiaoyu Liu, LiGuo Huang, Vincent Ng Effective API recommendation without historical software repositories. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid Automated model repair for Alloy. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paola R. G. Accioly, Paulo Borba, Guilherme Cavalcanti Understanding Semi-structured merge conflict characteristics in open-source Java projects (journal-first abstract). Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrea Janes, Michael Mairegger, Barbara Russo code_call_lens: raising the developer awareness of critical code. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Li Li 0029, Guozhu Meng, Jacques Klein, Sam Malek (eds.) Proceedings of the 1st International Workshop on Advances in Mobile App Analysis, A-Mobile@ASE 2018, Montpellier, France, September 4, 2018 Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hung-En Wang, Shih-Yu Chen, Fang Yu, Jie-Hong R. Jiang A symbolic model checking approach to the analysis of string and length constraints. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jianghao Wang, Hamid Bagheri, Myra B. Cohen An evolutionary approach for analyzing Alloy specifications. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini A unified lattice model and framework for purity analyses. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mikhail Y. R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer 0002, Denis A. Nicole ESBMC 5.0: an industrial-strength C model checker. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Di Cosmo Software heritage: collecting, preserving, and sharing all our source code (keynote). Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ran Mo, Will Snipes, Yuanfang Cai, Srini Ramaswamy, Rick Kazman, Martin Naedele Experiences applying automated architecture analysis tool suites. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alim Ozdemir, Ayse Tosun, Hakan Erdogmus, Rui Abreu Lightweight source code monitoring with Triggr. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Qingying Chen, Minghui Zhou A neural framework for retrieval and summarization of source code. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hui Liu, Zhifeng Xu, Yanzhen Zou Deep learning based feature envy detection. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carmine Vassallo, Fabio Palomba, Alberto Bacchelli, Harald C. Gall Continuous code quality: are we (really) doing that? Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kevin Moran, Cody Watson, John Hoskins, George Purnell, Denys Poshyvanyk Detecting and summarizing GUI changes in evolving mobile apps. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sakshi Udeshi, Pryanshu Arora, Sudipta Chattopadhyay 0001 Automated directed fairness testing. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jiwei Yan, Xi Deng, Ping Wang, Tianyong Wu, Jun Yan 0009, Jian Zhang Characterizing and identifying misexposed activities in Android applications. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Hilton, Jonathan Bell 0001, Darko Marinov A large-scale study of test coverage evolution. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Karlheinz Friedberger Domain-independent multi-threaded software model checking. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Renzo Degiovanni, Facundo Molina, Germán Regis, Nazareno Aguirre A genetic algorithm for goal-conflict identification. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Steven P. Reiss, Qi Xin, Jeff Huang 0002 SEEDE: simultaneous execution and editing in a development environment. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xue Han, Tingting Yu, David Lo 0001 PerfLearner: learning from bug reports to understand and generate performance test frames. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michele Tufano, Cody Watson, Gabriele Bavota, Massimiliano Di Penta, Martin White, Denys Poshyvanyk An empirical investigation into learning bug-fixing patches in the wild via neural machine translation. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nada Almasri, Luay Tahat, Bogdan Korel Automatically quantifying the impact of a change in systems (journal-first abstract). Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jane Cleland-Huang Automated requirements engineering challenges with examples from small unmanned aerial systems (keynote). Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Boyuan Chen, Jian Song, Peng Xu, Xing Hu, Zhen Ming (Jack) Jiang An automated approach to estimating code coverage measures via execution logs. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Valerio Terragni, Mauro Pezzè Effectiveness and challenges in generating concurrent tests for thread-safe classes. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jialun Cao, Yongjian Li, Jun Pang L-CMP: an automatic learning-based parameterized verification tool. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wensheng Dou, Shi Han, Liang Xu, Dongmei Zhang, Jun Wei 0001 Expandable group identification in spreadsheets. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yun Lin 0001, Jun Sun 0001, Lyly Tran, Guangdong Bai, Haijun Wang, Jin Song Dong Break the dead end of dynamic slicing: localizing data and control omission bug. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manasi Patwardhan, Abhishek Sainani, Richa Sharma, Shirish Karande, Smita Ghaisas Towards automating disambiguation of regulations: using the wisdom of crowds. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pinjia He, Zhuangbin Chen, Shilin He, Michael R. Lyu Characterizing the natural language descriptions in software logging statements. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rokiatou Diarra Towards automatic restrictification of CUDA kernel arguments. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Julien Brunel, David Chemouil, Alcino Cunha, Nuno Macedo The electrum analyzer: model checking relational first-order temporal specifications. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yannic Noller Differential program analysis with fuzzing and symbolic execution. Search on Bibsonomy ASE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1775 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license