The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SIGSOFT FSE"( http://dblp.L3S.de/Venues/SIGSOFT_FSE )

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

Publication years (Num. hits)
1993 (20) 1994 (18) 1995 (18) 1996 (23) 1998 (25) 2000 (22) 2002 (19) 2004 (29) 2006 (26) 2008 (36) 2010 (56) 2011 (78) 2012 (61) 2014 (106) 2016 (144)
Publication types (Num. hits)
inproceedings(666) proceedings(15)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 472 occurrences of 341 keywords

Results
Found 681 publication records. Showing 681 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Bonita Sharif, Benjamin Clark, Jonathan I. Maletic Studying developer gaze to empower software engineering research and practice. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Margaret M. Burnett "Womenomics" and gender-inclusive software: what software engineers need to know (invited talk). Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1André C. Hora, Marco Tulio Valente, Romain Robbes, Nicolas Anquetil When should internal interfaces be promoted to public? Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anh Tuan Nguyen 0001, Michael Hilton, Mihai Codoban, Hoan Anh Nguyen, Lily Mast, Eli Rademacher, Tien N. Nguyen, Danny Dig API code recommendation using statistical learning from fine-grained changes. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Markus Kusano, Chao Wang 0001 Flow-sensitive composition of thread-modular abstract interpretation. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Catarina Costa, Jair Figueiredo, Leonardo Murta, Anita Sarma TIPMerge: recommending experts for integrating changes across branches. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bob Kurtz, Paul Ammann, Jeff Offutt, Márcio Eduardo Delamaro, Mariet Kurtz, Nida Gökçe Analyzing the validity of selective mutation with dominator mutants. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chuck Rossi, Elisa Shibley, Shi Su, Kent L. Beck, Tony Savor, Michael Stumm Continuous deployment of mobile software at facebook (showcase). Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stepan Shevtsov Developing a reusable control-based approach to build self-adaptive software systems with formal guarantees. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Catarina Costa Identifying participants for collaborative merge. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pietro Braione, Giovanni Denaro, Mauro Pezzè JBSE: a symbolic executor for Java programs with complex heap inputs. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christopher A. Mackie Preventing signedness errors in numerical computations in Java. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yun Lin 0001, Xin Peng 0001, Yuanfang Cai, Danny Dig, Diwen Zheng, Wenyun Zhao Interactive and guided architectural refactoring with search-based recommendation. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Matthias Dangl, Daniel Dietsch, Matthias Heizmann Correctness witnesses: exchanging verification results between verifiers. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hongyu Zhang, Anuj Jain, Gaurav Khandelwal, Chandrashekhar Kaushik, Scott Ge, Wenxiang Hu Bing developer assistant: improving developer productivity by recommending sample code. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fang-Hsiang Su, Jonathan Bell 0001, Kenneth Harvey, Simha Sethumadhavan, Gail E. Kaiser, Tony Jebara Code relatives: detecting similarly behaving software. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mahinthan Chandramohan, Yinxing Xue, Zhengzi Xu, Yang Liu 0003, Chia Yuan Cho, Hee Beng Kuan Tan BinGo: cross-architecture cross-OS binary search. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pavel Panchekha Generating interactive web pages from storyboards. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shiva Nejati, Mehrdad Sabetzadeh, Chetan Arora 0002, Lionel C. Briand, Felix Mandoux Automated change impact analysis between SysML models of requirements and design. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sebastian Kappler Finding and breaking test dependencies to speed up test execution. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arie Gurfinkel, Sharon Shoham, Yuri Meshman SMT-based verification of parameterized systems. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Brittany Johnson, Rahul Pandita, Justin Smith, Denae Ford, Sarah Elder, Emerson R. Murphy-Hill, Sarah Heckman, Caitlin Sadowski A cross-tool communication study on program analysis tool notifications. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Svetozar Miucin, Conor Brady, Alexandra Fedorova End-to-end memory behavior profiling with DINAMITE. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhaogui Xu, Peng Liu 0010, Xiangyu Zhang 0001, Baowen Xu Python predictive analysis for bug detection. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Demetris Paschalides, Georgia M. Kapitsaki Validate your SPDX files for open source license violations. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen Efficient generation of inductive validity cores for safety properties. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nan Niu, Wentao Wang 0003, Arushi Gupta Gray links in the use of requirements traceability. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Danilo Silva, Nikolaos Tsantalis, Marco Tulio Valente Why we refactor? confessions of GitHub contributors. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken Minimizing GUI event traces. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Qi Luo Automatic performance testing using input-sensitive profiling. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Muhammad Ali Gulzar, Matteo Interlandi, Tyson Condie, Miryung Kim BigDebug: interactive debugger for big data analytics in Apache Spark. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ahmet Çelik, Alex Knaust, Aleksandar Milicevic, Milos Gligoric Build system with lazy retrieval for Java projects. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1ThanhVu Nguyen, Ugur Koc, Javran Cheng, Jeffrey S. Foster, Adam A. Porter iGen: dynamic interaction inference for configurable software. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Spencer Pearson Evaluation of fault localization techniques. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Davood Mazinanian Refactoring and migration of cascading style sheets: towards optimization and improved maintainability. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sebastiaan Oosterwaal, Arie van Deursen, Roberta Coelho, Anand Ashok Sawant, Alberto Bacchelli Visualizing code and coverage changes for code review. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benjamin Busjaeger, Tao Xie Learning for test prioritization: an industrial case study. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Caitlin Sadowski Developer workflow at google (showcase). Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eunsuk Kang, Aleksandar Milicevic, Daniel Jackson 0001 Multi-representational security analysis. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wensheng Dou, Shing-Chi Cheung, Chushu Gao, Chang Xu 0001, Liang Xu, Jun Wei 0001 Detecting table clones and smells in spreadsheets. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saba Alimadadi Understanding behavioural patterns in JavaScript. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Calvin Loncaric Cozy: synthesizing collection data structures. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Connor Imes, Lars Bergstrom, Henry Hoffmann A portable interface for runtime energy monitoring. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xiaodong Gu, Hongyu Zhang 0002, Dongmei Zhang, Sunghun Kim 0001 Deep API learning. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Qi Luo Input-sensitive performance testing. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Earl T. Barr, Mark Marron, Ed Maurer, Dan Moseley, Gaurav Seth Time-travel debugging for JavaScript/Node.js. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Margaret-Anne D. Storey, Alexey Zagalsky Disrupting developer productivity one bot at a time. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sachith Gullapalli Atlas: an intelligent, performant framework for web-based grid computing. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Hilton Understanding and improving continuous integration. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhaogui Xu, Xiangyu Zhang 0001, Lin Chen 0015, Kexin Pei, Baowen Xu Python probabilistic type inference with natural language support. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ran Wang, Daming Zou, Xinrui He, Yingfei Xiong, Lu Zhang 0023, Gang Huang 0001 Detecting and fixing precision-specific operations for measuring floating-point errors. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ines Hajri Supporting change in product lines within the context of use case-driven development and testing. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Reif, Michael Eichberg, Ben Hermann, Johannes Lerch, Mira Mezini Call graph construction for Java libraries. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Reudismam Rolim Automating repetitive code changes using examples. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wing Lam Repairing test dependence. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xuan Li, Zerui Wang, Qianxiang Wang, Shoumeng Yan, Tao Xie 0001, Hong Mei Relationship-aware code search for JavaScript frameworks. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yuepeng Wang 0001, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss Hunter: next-generation code reuse for Java. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jing Zhou, Robert J. Walker API deprecation: a retrospective analysis and detection method for code examples on the web. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sheng Zhan, Jeff Huang 0001 ECHO: instantaneous in situ race detection in the IDE. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xie Xiaofei Static loop analysis and its applications. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sukrit Kalra, Ayush Goel, Dhriti Khanna, Mohan Dhawan, Subodh Sharma, Rahul Purandare POLLUX: safely upgrading dependent application libraries. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Qi Luo, Kevin Moran, Denys Poshyvanyk A large-scale empirical comparison of static and dynamic test case prioritization techniques. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tobias Baum, Olga Liskin, Kai Niklas, Kurt Schneider Factors influencing code review processes in industry. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Catarina Costa, Jair Figueiredo, Anita Sarma, Leonardo Murta TIPMerge: recommending developers for merging branches. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Piorkowski, Austin Z. Henley, Tahmid Nabi, Scott D. Fleming, Christopher Scaffidi, Margaret M. Burnett Foraging and navigations, fundamentally: developers' predictions of value and cost. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Carol V. Alexandru Guided code synthesis using deep neural networks. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marcel Zalmanovici, Orna Raz, Rachel Tzoref-Brill Cluster-based test suite functional analysis. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christopher Bogart, Christian Kästner, James D. Herbsleb, Ferdian Thung How to break an API: cost negotiation and community values in three software ecosystems. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara FSX: a tool for fine-grained incremental unit test generation for C/C++ programs. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yu Kang, Yangfan Zhou, Hui Xu, Michael R. Lyu DiagDroid: Android performance diagnosis via anatomizing asynchronous executions. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hamid Bagheri, Sam Malek Titanium: efficient analysis of evolving alloy specifications. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chung Hwan Kim, Junghwan Rhee, Kyu Hyung Lee, Xiangyu Zhang 0001, Dongyan Xu PerfGuard: binary-centric application performance monitoring in production environments. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yepang Liu, Chang Xu 0001, Shing-Chi Cheung, Valerio Terragni Understanding and detecting wake lock misuses for Android applications. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anita Sarma, Marco Aurélio Gerosa, Igor Steinmacher, Rafael Leano Training the future workforce through task curation in an OSS ecosystem. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Minghui Quan Hotspot symbolic execution of floating-point programs. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Titus Barik, Rahul Pandita, Justin Middleton, Emerson R. Murphy-Hill Designing for dystopia: software engineering research for the post-apocalypse. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nuno Macedo, Julien Brunel, David Chemouil, Alcino Cunha, Denis Kuperberg Lightweight specification and analysis of dynamic systems with rich configurations. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hoa Khanh Dam, Truyen Tran 0001, John C. Grundy, Aditya K. Ghose DeepSoft: a vision for a deep model of software. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Quinn Hanam, Fernando Santos De Mattos Brito, Ali Mesbah 0001 Discovering bug patterns in JavaScript. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Inah Omoronyia Reasoning with imprecise privacy preferences. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thanh Van Nguyen, Peter C. Rigby, Anh Tuan Nguyen 0001, Mark Karanfil, Tien N. Nguyen T2API: synthesizing API code usage templates from English texts with statistical translation. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Monika Dhok, Murali Krishna Ramanathan Directed test generation to detect loop inefficiencies. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yibiao Yang, Yuming Zhou, Jinping Liu, Yangyang Zhao, Hongmin Lu, Lei Xu 0003, Baowen Xu, Hareton Leung Effort-aware just-in-time defect prediction: simple unsupervised models could be better than supervised models. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin P. Robillard Sustainable software design. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hua Zhong, Lingming Zhang, Sarfraz Khurshid Combinatorial generation of structurally complex test inputs for commercial software applications. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mouna Hammoudi Regression testing of web applications using Record/Replay tools. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shin Hwei Tan, Hiroaki Yoshida, Mukul R. Prasad, Abhik Roychoudhury Anti-patterns in search-based program repair. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrea Di Sorbo, Sebastiano Panichella, Carol V. Alexandru, Junji Shimagaki, Corrado Aaron Visaggio, Gerardo Canfora, Harald C. Gall What would users change in my app? summarizing app reviews for recommending software changes. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chandrakana Nandi Automatic trigger generation for end user written rules for home automation. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yan Cai 0001, Jian Zhang, Lingwei Cao, Jian Liu A deployable sampling strategy for data race detection. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yulei Sui, Jingling Xue On-demand strong update analysis via value-flow refinement. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marc Brünink, David S. Rosenblum Mining performance specifications. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Iftekhar Ahmed 0001, Rahul Gopinath, Caius Brindescu, Alex Groce, Carlos Jensen Can testedness be effectively measured? Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrew Head Social health cues developers use when choosing open source packages. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jaroslav M. Fowkes, Charles A. Sutton Parameter-free probabilistic API mining across GitHub. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thorsten Berger, Markus Völter, Hans Peter Jensen, Taweesap Dangprasert, Janet Siegmund Efficiency of projectional editing: a controlled experiment. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1William J. Martin, Federica Sarro, Mark Harman Causal impact analysis for app releases in google play. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Zimmermann 0001, Jane Cleland-Huang, Zhendong Su (eds.) Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016 Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Felipe R. Monteiro Bounded model checking of state-space digital systems: the impact of finite word-length effects on the implementation of fixed-point digital controllers based on state-space modeling. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alex Gyori, Ben Lambeth, August Shi, Owolabi Legunsen, Darko Marinov NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 681 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
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