default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID38th ICSE 2017: Buenos Aires, Argentina - Companion Volume
- Sebastián Uchitel, Alessandro Orso, Martin P. Robillard:
Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume. IEEE Computer Society 2017, ISBN 978-1-5386-1589-8
Demonstrations: Energy and requirement analysis
- Dario Di Nucci
, Fabio Palomba, Antonio Prota, Annibale Panichella, Andy Zaidman, Andrea De Lucia:
PETrA: a software-based tool for estimating the energy profile of Android applications. 3-6 - Boban Vesin, Rodi Jolak, Michel R. V. Chaudron:
OctoUML: an environment for exploratory and collaborative software design. 7-10 - Mario Linares Vásquez, Carlos Bernal-Cárdenas, Gabriele Bavota, Rocco Oliveto, Massimiliano Di Penta, Denys Poshyvanyk:
GEMMA: multi-objective optimization of energy consumption of GUIs in Android apps. 11-14
Demonstrations: Testing
- Kevin Moran, Mario Linares Vásquez, Carlos Bernal-Cárdenas, Christopher Vendome, Denys Poshyvanyk:
CrashScope: a practical tool for automated testing of Android applications. 15-18 - Simone Romano, Giuseppe Scanniello:
SMUG: a selective MUtant generator tool. 19-22 - Yuanchun Li, Ziyue Yang, Yao Guo, Xiangqun Chen:
DroidBot: a lightweight UI-guided test input generator for Android. 23-26
Demonstrations: Program understanding
- Jeffrey Svajlenko, Chanchal Kumar Roy:
Fast and flexible large-scale clone detection with CloneWorks. 27-30 - Matthias Höschele, Andreas Zeller:
Mining input grammars with AUTOGRAM. 31-34 - Matheus Nunes, Harjeet Lalh, Ashaya Sharma, Augustine Wong, Svetozar Miucin, Alexandra Fedorova, Ivan Beschastnikh:
Studying multi-threaded behavior with TSViz. 35-38 - Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill:
Cheetah: just-in-time taint analysis for Android apps. 39-42
Demonstrations: Trending technologies
- Colin Maxfield, Christine Julien:
Data-directed contextual relevance in the IoT. 43-46 - Hung Dang Phan, Anh Tuan Nguyen, Trong Duc Nguyen, Tien N. Nguyen:
Statistical migration of API usages. 47-50 - Mohammad Masudur Rahman, Chanchal Kumar Roy, David Lo:
RACK: code search in the IDE using crowdsourced knowledge. 51-54 - Andrea Di Sorbo, Sebastiano Panichella, Carol V. Alexandru, Corrado Aaron Visaggio, Gerardo Canfora:
SURF: summarizer of user reviews feedback. 55-58
Demonstrations: Analysis and refactoring
- Jihyeok Park, Yeonhee Ryou, Joonyoung Park, Sukyoung Ryu:
Analysis of JavaScript web applications using SAFE 2.0. 59-62 - Davood Mazinanian, Nikolaos Tsantalis:
CSSDev: refactoring duplication in cascading style sheets. 63-66 - Jabier Martinez, Tewfik Ziadi, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon:
Bottom-up technologies for reuse: automated extractive adoption of software product lines. 67-70 - Laleh Mousavi Eshkevari, Davood Mazinanian, Shahriar Rostami, Nikolaos Tsantalis:
JSDeodorant: class-awareness for JavaScript programs. 71-74
ACM student research competition
- Mahsa Emami-Taba:
Decision-making in self-protecting software systems: a game-theoretic approach. 77-79 - Hina Gul Afridi:
Empirical investigation of correlation between rewards and crowdsource-based software developers. 80-81 - Panagiotis Stratis:
Improving test execution time with improved cache locality. 82-84 - Miguel Campusano:
Live programming the behavioral layer of robots. 85-87 - Rui Pereira:
Locating energy hotspots in source code. 88-90 - Simone Scalabrino:
On software odysseys and how to prevent them. 91-93 - Juliana Alves Pereira:
Runtime collaborative-based configuration of software product lines. 94-96 - Michael J. Coblenz:
Obsidian: a safer blockchain programming language. 97-99 - Gabriel Ferreira:
Software certification in practice: how are standards being applied? 100-102 - Katja Kevic:
Using eye gaze data to recognize task-relevant source code better and more fine-grained. 103-105
Posters
- Gang Shi, Yuanke Gan, Shu Shang, Shengyuan Wang, Yuan Dong, Pen-Chung Yew:
A formally verified sequentializer for lustre-like concurrent synchronous data-flow programs. 109-111 - Steven P. Reiss, Qi Xin:
A framework for a programmer's minion. 112-114 - Alpana Dubey, Kumar Abhinav, Gurdeep Virdi:
A framework to preserve confidentiality in crowdsourced software development. 115-117 - Yar Rouf, Mark Shtern, Marios Fokaefs, Marin Litoiu:
A hierarchical architecture for distributed security control of large scale systems. 118-120 - Chris Mills, Sonia Haiduc:
A machine learning approach for determining the validity of traceability links. 121-123 - Sanu Subramanian, Murphy Berzish, Vijay Ganesh, Omer Tripp:
A solver for a theory of string and bit-vectors. 124-126 - Shaikh Mostafa, Rodney Rodriguez, Xiaoyin Wang:
A study on behavioral backward incompatibility bugs in Java software libraries: poster. 127-129 - Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Guowei Yang:
A synergistic approach for distributed symbolic execution using test ranges. 130-132 - Katsuhisa Maruyama, Shinpei Hayashi:
A tool supporting postponable refactoring. 133-135 - Hiroyuki Nakagawa, Shori Matsui, Tatsuhiro Tsuchiya:
A visualization of specification coverage based on document similarity. 136-138 - Yun Ma, Xuanzhe Liu, Ziniu Hu, Dian Yang, Gang Huang, Yunxin Liu, Tao Xie:
Aladdin: automating release of Android deep links to in-app content. 139-140 - Rubing Huang, Weiwen Zong, Dave Towey, Yunan Zhou, Jinfu Chen:
An empirical examination of abstract test case prioritization techniques. 141-143 - Hao Zhong, Na Meng:
An empirical study on using hints from past fixes: poster. 144-145 - Valentina Lenarduzzi, Alberto Sillitti, Davide Taibi:
Analyzing forty years of software maintenance models. 146-148 - Chenkai Guo, Naipeng Dong, Guangdong Bai, Quanqi Ye, Jin Song Dong, Jing Xu, Guannan Si:
App genome: callback sequencing in Android. 149-151 - Maleknaz Nayebi, Homayoon Farrahi, Guenther Ruhe, Henry Cho:
App store mining is not enough. 152-154 - Long H. Pham, Lyly Tran Thi, Jun Sun:
Assertion generation through active learning. 155-157 - Benito Fernandes, Gustavo Pinto, Fernando Castor:
Assisting non-specialist developers to build energy-efficient software. 158-160 - Sebastian Baltes, Richard Kiefer, Stephan Diehl:
Attribution required: stack overflow code snippets in GitHub projects. 161-163 - Anh Tuan Nguyen, Tien N. Nguyen:
Automatic categorization with deep neural network for open-source Java projects. 164-166 - Regina Motz, Genoveva Vargas-Solar, Umberto Souza da Costa, Javier-Alfonso Espinosa-Oviedo, Martin A. Musicante, José-Luis Zechinelli-Martini, Alberto Pardo:
Automating systematic mappings, adding quality to quantity: poster. 167-168 - Simone Porru, Andrea Pinna, Michele Marchesi, Roberto Tonelli:
Blockchain-oriented software engineering: challenges and new directions. 169-171 - Rick Kazman, Robert Stoddard, David Danks, Yuanfang Cai:
Causal modeling, discovery & inference for software engineering. 172-174 - Carl-Eric Mols, Krzysztof Wnuk:
Charting the market disruptive nature of open source: experiences from Sony mobile. 175-176 - Jeffrey Svajlenko, Chanchal K. Roy:
CloneWorks: a fast and flexible large-scale near-miss clone detection tool. 177-179 - Shin Hwei Tan, Jooyong Yi, Yulis, Sergey Mechtaev, Abhik Roychoudhury:
Codeflaws: a programming competition benchmark for evaluating automated program repair tools. 180-182 - Thanh Van Nguyen, Anh Tuan Nguyen, Hung Dang Phan, Trong Duc Nguyen, Tien N. Nguyen:
Combining Word2Vec with revised vector space model for better code retrieval. 183-185 - Jan Schroeder, Christian Berger, Alessia Knauss, Harri Preenja, Mohammad Ali, Miroslaw Staron, Thomas Herpel:
Comparison of model size predictors in practice. 186-188 - Lu Wang, Xiaobing Sun, Jingwei Wang, Yucong Duan, Bin Li:
Construct bug knowledge graph for bug resolution: poster. 189-191 - Miao Xie, Qing Wang, Qiang Cui, Guowei Yang, Mingshu Li:
CQM: coverage-constrained quality maximization in crowdsourcing test. 192-194 - Fei Wu, Xiao-Yuan Jing, Xiwei Dong, Jicheng Cao, Mingwei Xu, Hongyu Zhang, Shi Ying, Baowen Xu:
Cross-project and within-project semi-supervised software defect prediction problems study using a unified solution. 195-197 - Davoud Mougouei, David M. W. Powers, Asghar Moeini:
Dependency-aware software release planning. 198-200 - Vitalii Avdiienko, Konstantin Kuznetsov, Isabelle Rommelfanger, Andreas Rau, Alessandra Gorla, Andreas Zeller:
Detecting behavior anomalies in graphical user interfaces. 201-203 - Yvonne Dittrich, Lakshmi Vaidyanathan, Timothy A. Gonsalves, Ashok Jhunjhunwala:
Developing e-banking services for rural India: making use of socio-technical prototypes. 204-206 - Sina Shamshiri, José Campos, Gordon Fraser, Phil McMinn:
Disposable testing: avoiding maintenance of generated unit tests by throwing them away. 207-209 - Sira Vegas, Patricia Riofrío, Natalia Juristo:
Does subject type influence software engineering experiment results? 210-212 - Rafael Queiroz Gonçalves, Christiane Gresse von Wangenheim:
DotProject+: open-source software for project management education. 213-215 - Sergio Firmenich, Gabriela Bosetti, Gustavo Rossi, Marco Winckler:
End-user software engineering for the personal web: poster. 216-218 - Davide Di Ruscio, Mirco Franzago, Henry Muccini, Ivano Malavolta:
Envisioning the future of collaborative model-driven software engineering. 219-221 - Smita Ghaisas, Abhishek Sainani, Preethu Rose Anish, Ramasubramanian Suriyanarayanan, Perumal Rajaram:
Ethos, pathos, and logos to prevent sexual harassment at workplaces: a regulatory solution based on operant conditioning. 222-224 - Cynthia Disenfeld, Ioanna Stavropoulou, Julia Rubin, Marsha Chechik:
FPH: efficient detection of feature interactions through non-commutativity. 225 - Meng Wang, Cong Tian, Zhenhua Duan:
Full regular temporal property verification as dynamic program execution. 226-228 - Guido Chari, Diego Garbervetsky, Stefan Marr:
Fully-reflective VMs for ruling software adaptation. 229-231 - Lucas Gren, Khaled Walid Al-Sabbagh:
Group developmental psychology and software development performance. 232-234 - Nelly Condori-Fernández:
HAPPYNESS: an emotion-aware QoS assurance framework for enhancing user experience. 235-237 - Rui Pereira, Tiago Carção, Marco Couto, Jácome Cunha, João Paulo Fernandes, João Saraiva:
Helping programmers improve the energy efficiency of source code. 238-240 - Mushtaq Raza, João Pascoal Faria, Rafael Salazar:
Helping software engineering students analyzing their performance data: tool support in an educational environment. 241-243 - Marcel Böhme, Ezekiel O. Soremekun, Sudipta Chattopadhyay, Emamurho Ugherughe, Andreas Zeller:
How developers debug software the DbgBench dataset: poster. 244-246 - Hui Song, Franck Chauvel, Arnor Solberg, Bent Foyn, Tony Yates:
How to support customisation on SaaS: a grounded theory from customisation consultants. 247-249 - Salman Abdul Baset, Shih-Wei Li, Philippe Suter, Omer Tripp:
Identifying Android library dependencies in the presence of code obfuscation and minimization. 250-252 - Cuiyun Gao, Yichuan Man, Hui Xu, Jieming Zhu, Yangfan Zhou, Michael R. Lyu:
IntelliAd: assisting mobile app developers in measuring ad costs automatically. 253-255 - Tian Huat Tan, Yinxing Xue, Manman Chen, Shuang Liu, Yi Yu, Jun Sun:
JSFox: integrating static and dynamic type analysis of JavaScript programs. 256-258 - Sebastian Vöst, Stefan Wagner:
Keeping continuous deliveries safe. 259-261 - Ramya M. Srinivasan, Jorjeta G. Jetcheva, Ajay Chander:
Last mile end-user programmers: programming exposure, influences, and preferences of the masses. 262-264 - Pablo Loyola, Yutaka Matsuo:
Learning graph representations for defect prediction. 265-267 - Meng Yan, Xiaohong Zhang, Chao Liu, Jie Zou, Ling Xu, Xin Xia:
Learning to aggregate: an automated aggregation method for software quality model. 268-270 - Wei Zhang, Xiao Liu, Yun Yang:
Let smart ants help you reduce the delay penalty of multiple software projects. 271-273 - Samuel Huppe, Mohamed Aymen Saied, Houari A. Sahraoui:
Mining complex temporal API usage patterns: an evolutionary approach. 274-276 - Foyzul Hassan, Xiaoyin Wang:
Mining readme files to support automatic building of Java projects in software repositories: poster. 277-279 - Grant Williams, Anas Mahmoud:
Mining Twitter data for a more responsive software engineering process. 280-282 - Emitza Guzman, Mohamed Ibrahim, Martin Glinz:
Mining Twitter messages for software evolution. 283-284 - Vu Viet Hoang Pham, Xiao Liu, Xi Zheng, Min Fu, Sahil Vikas Deshpande, Weidong Xia, Roger Zhou, Mohamed Abdelrazek:
PaaS - black or white: an investigation into software development model for building retail industry SaaS. 285-287 - Marco Conoscenti, Antonio Vetrò, Juan Carlos De Martin:
Peer to peer for privacy and decentralization in the internet of things. 288-290 - Danilo Dominguez Perez, Wei Le:
Predicate callback summaries. 291-293 - Ayse Tosun, Ozgur Turkgulu, Dogan Razon, Hamza Yusuf Aydemir, Arda Gureller:
Predicting defects using test execution logs in an industrial setting. 294-296 - Inah Omoronyia:
Privacy engineering in dynamic settings. 297-299 - Chen Luo, Fei He, Dong Yan, Dan Zhang, Xin Zhou, Bow-Yaw Wang:
PSpec: a formal specification language for fine-grained control on distributed data analytics. 300-302 - Tobias Kuschke, Patrick Mäder:
RapMOD - in situ auto-completion for graphical models: poster. 303-304 - Jyothi Vedurada, V. Krishna Nandivada:
Refactoring opportunities for replacing type code with state and subclass. 305-307 - Zengyang Li, Peng Liang, Bing Li:
Relating alternate modifications to defect density in software development. 308-310 - Tuan Anh Nguyen, Christoph Csallner:
Reverse engineering object-oriented applications into high-level domain models with reoom. 311-313 - Janne Järvinen, Tua Huomo, Tommi Mikkonen:
Running software research programs: an agile approach. 314-316 - Kenny Wong, Morgan Patzelt, Bradley Poulette, Rus Hathaway:
Scenario-based learning in a MOOC specialization capstone on software product management. 317-318 - Adler Diniz de Souza, Rodrigo Duarte Seabra, Juliano Marinho Ribeiro, Lucas E. da S. Rodrigues:
SCRUMI: a board serious virtual game for teaching the SCRUM framework. 319-321 - Xiaoyu Jin, Nan Niu:
Short-term revisit during programming tasks. 322-324 - Guilherme Cavalcanti, Paulo Borba, Paola R. G. Accioly:
Should we replace our merge tools? 325-327 - Alessia Knauss, Jan Schroeder, Christian Berger, Henrik Eriksson:
Software-related challenges of testing automated vehicles. 328-330 - Anh Tuan Nguyen, Peter C. Rigby, Thanh Van Nguyen, Mark Karanfil, Tien N. Nguyen:
Statistical translation of English texts to API code templates. 331-333 - Dave Towey, David Foster, Filippo Gilardi, Paul Martin, Andrew White, Yiru Jiang, Yichen Pan, Yu Qu:
Students as partners in a multi-media note-taking app development: best practices. 334-335 - Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lü:
Synthesizing object transformation for dynamic software updating. 336-338 - Katsiaryna Labunets, Andrea Janes, Michael Felderer, Fabio Massacci:
Teaching predictive modeling to junior software engineers - seminar format and its evaluation: poster. 339-340 - Javier Escobar-Avila, Esteban Parra, Sonia Haiduc:
Text retrieval-based tagging of software engineering video tutorials. 341-343 - Li Li, Tegawendé F. Bissyandé, Alexandre Bartel, Jacques Klein, Yves Le Traon:
The multi-generation repackaging hypothesis. 344-346 - Maria Kechagia, Tushar Sharma, Diomidis Spinellis:
Towards a context dependent Java exceptions hierarchy. 347-349 - Federico Ciccozzi:
Towards a model compilation framework based on a unified model execution semantics. 350-352 - Chong Tang, Hamid Bagheri, Sarun Paisarnsrisomsuk, Kevin J. Sullivan:
Towards designing effective data persistence through tradeoff space analysis. 353-355 - Jorge Mendes, Jácome Cunha, Francisco J. Duarte, Gregor Engels, João Saraiva, Stefan Sauer:
Towards systematic spreadsheet construction processes. 356-358 - Li Li, Daoyuan Li, Tegawendé F. Bissyandé, Jacques Klein, Yves Le Traon, David Lo, Lorenzo Cavallaro:
Understanding Android app piggybacking. 359-361 - Daniel Graziotin, Fabian Fagerholm, Xiaofeng Wang, Pekka Abrahamsson:
Unhappy developers: bad for themselves, bad for process, and bad for software product. 362-364 - Gian Luca Scoccia, Ivano Malavolta, Marco Autili, Amleto Di Salle, Paola Inverardi:
User-centric Android flexible permissions. 365-367 - Rafael Nunes, Marcel Rebouças, Francisco Soares-Neto, Fernando Castor:
Visualizing swift projects as cities: poster. 368-370 - Parastoo Mohagheghi, Magne Jørgensen:
What contributes to the success of IT projects?: success factors, challenges and lessons learned from an empirical study of software projects in the Norwegian public sector. 371-373 - Carlo A. Furia:
What good is bayesian data analysis for software engineering? 374-376 - Celia Chen, Reem Alfayez, Kamonphop Srisopha, Barry W. Boehm, Lin Shi:
Why is it important to measure maintainability, and what are the best ways to do it? 377-378 - Vincenzo Ferme, Jörg Lenhard, Simon Harrer, Matthias Geiger, Cesare Pautasso:
Workflow management systems benchmarking: unfulfilled expectations and lessons learned. 379-381
Community introspection
- Alberto Bacchelli, Moritz Beller:
Double-blind review in software engineering venues: the community's perspective. 385-396 - George Mathew, Amritanshu Agrawal, Tim Menzies:
Trends in topics at SE conferences (1993-2013). 397-398 - Antonia Bertolino, Antonello Calabrò, Francesca Lonetti, Eda Marchetti, Breno Miranda:
What paper types are accepted at the international conference on software engineering? 399-401 - Christopher Theisen, Marcel Dunaiski, Laurie A. Williams, Willem Visser:
Writing good software engineering research papers: revisited. 402
Doctoral symposium: Full papers and presentations
- Riccardo Coppola:
Fragility and evolution of Android test suites. 405-408 - Andreas Rau:
Topic-driven testing. 409-412 - Leandro Nahabedian:
Dynamic update of business process management. 413-416 - Nikolas Havrikov:
Efficient fuzz testing leveraging input, code, and execution. 417-420 - Oscar Chaparro:
Improving bug reporting, duplicate detection, and localization. 421-424 - Valdemar Vicente Graciano Neto:
A model-based approach towards the building of trustworthy software-intensive systems-of-systems. 425-428 - Luca Gazzola:
Field testing of software applications. 429-432 - Alexander Kampmann:
Local analysis for global inputs. 433-436 - Ezekiel O. Soremekun:
Debugging with probabilistic event structures. 437-440 - Gastón Marquez:
Selection of software components from business objectives scenarios through architectural tactics. 441-444 - Juliana Alves Pereira:
A collaborative-based recommender system for configuration of extended product lines. 445-448 - Mahsa Emami-Taba:
A game-theoretic decision-making framework for engineering self-protecting software systems. 449-452 - Sahar Kokaly:
Managing assurance cases in model based software systems. 453-456 - Juraj Kubelka:
Artifact driven communication to improve program comprehension. 457-460
Doctoral symposium: Poster papers
- Jacob Krüger:
Lost in source code: physically separating features in legacy systems. 461-462 - Ezequiel Castellano:
Quality attributes and preferences on the synthesis of reactive systems. 463-464 - Lu Wang:
Search-based adaptation planning framework for self-adaptive systems. 465-466 - Rodrigo Falcão:
Elicitation of delightful context-aware features: challenges and outlook. 467-468 - Michael J. Coblenz:
Principles of usable programming language design. 469-470 - Christian Macho:
Preventing and repairing build breakage. 471-472 - Rebekka Wohlrab:
Continuous management of design- and run-time artifacts for self-adaptive systems. 473-474 - Ana Rodriguez:
Reducing energy consumption of resource-intensive scientific mobile applications via code refactoring. 475-476 - Fang-Hsiang Su:
Uncovering features in kindred programs. 477-478 - Oscar Cornejo:
Flexible in-the-field monitoring. 479-480 - Crescencio Lima:
Product line architecture recovery: an approach proposal. 481-482 - Patrícia Araújo de Oliveira:
Predictive analysis of cloud systems. 483-484 - Piergiuseppe Mallozzi:
Combining machine-learning with invariants assurance techniques for autonomous systems. 485-486 - Anjali Goyal:
Effective bug triage for non reproducible bugs. 487-488 - Qi Xin:
Towards addressing the patch overfitting problem. 489-490 - Reyhaneh Jabbarvand:
Advancing energy testing of mobile applications. 491-492
Technical briefings
- Barry W. Boehm:
Software cost estimation meets software diversity. 495-496 - Matej Artac, Tadej Borovsak, Elisabetta Di Nitto, Michele Guerriero, Damian Andrew Tamburri:
DevOps: introducing infrastructure-as-code. 497-498 - Massimiliano Di Penta, Damian Andrew Tamburri:
Combining quantitative and qualitative studies in empirical software engineering research. 499-500 - Georgios Gousios, Diomidis Spinellis:
Mining software engineering data from GitHub. 501-502 - Yuanfang Cai, Rick Kazman:
Detecting and quantifying architectural debt: theory and practice. 503-504 - Kevin Moran, Mario Linares Vásquez, Denys Poshyvanyk:
Automated GUI testing of Android apps: from research to practice. 505-506 - Federico Ciccozzi, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Jana Tumova:
Engineering the software of robotic systems. 507-508 - Nicolas Hili, Juergen Dingel, Alain Beaulieu:
Modelling and code generation for real-time embedded systems with UML-RT and papyrus-RT. 509-510 - Laura Moreno, Andrian Marcus:
Automatic software summarization: the state of the art. 511-512 - Sira Vegas:
Analyzing software engineering experiments: everything you always wanted to know but were afraid to ask. 513-514 - Haoyu Wang, Yao Guo:
Understanding third-party libraries in mobile app analysis. 515-516
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-23 19:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
