The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ACM Trans. Softw. Eng. Methodol."( http://dblp.L3S.de/Venues/ACM_Trans._Softw._Eng._Methodol. )

URL (DBLP): http://dblp.uni-trier.de/db/journals/tosem

Publication years (Num. hits)
1992 (17) 1993-1994 (25) 1995-1996 (25) 1997-1998 (27) 1999-2000 (27) 2001-2002 (26) 2003-2004 (24) 2005-2006 (26) 2007 (23) 2008 (19) 2009-2010 (28) 2011 (18) 2012 (19) 2013 (38) 2014 (47) 2015 (24) 2016 (17) 2017-2018 (38) 2019 (28)
Publication types (Num. hits)
article(496)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 812 occurrences of 529 keywords

Results
Found 496 publication records. Showing 496 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury Software Change Contracts. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jaideep Nijjar, Ivan Bocic, Tevfik Bultan Data Model Property Inference, Verification, and Repair for Web Applications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Robert Dyer 0001, Hoan Anh Nguyen, Hridesh Rajan, Tien N. Nguyen Boa: Ultra-Large-Scale Software Repository and Source-Code Mining. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mark Harman, Mauro Pezzè Introduction to the Special Issue on ISSTA 2013. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Giuseppe Scanniello, Carmine Gravino, Michele Risi, Genoveffa Tortora, Gabriella Dodero Documenting Design-Pattern Instances: A Family of Experiments on Source-Code Comprehensibility. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, Frank Padberg Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Karim Ali 0001, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip Type-Based Call Graph Construction Algorithms for Scala. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicoletta De Francesco, Giuseppe Lettieri, Antonella Santone, Gigliola Vaglini GreASE: A Tool for Efficient "Nonequivalence" Checking. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David S. Rosenblum Editorial. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Eric Bodden, Éric Tanter, Milton Inostroza Join point interfaces for safe and flexible decoupling of aspects. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Giuseppe Scanniello, Carmine Gravino, Marcela Genero, José A. Cruz-Lemus, Genoveffa Tortora On the impact of UML analysis models on source-code comprehensibility and modifiability. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gabriele Bavota, Malcom Gethers, Rocco Oliveto, Denys Poshyvanyk, Andrea De Lucia Improving software modularization via automated analysis of latent topics and dependencies. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xiao Liu 0004, Yun Yang 0001, Dong Yuan, Jinjun Chen Do we need to handle every temporal violation in scientific workflow systems? Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anirudh Santhiar, Omesh Pandita, Aditya Kanade Mining Unit Tests for Discovery and Migration of Math APIs. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michael Unterkalmsteiner, Robert Feldt, Tony Gorschek A taxonomy for requirements engineering and software test alignment. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thomas Fritz 0001, Gail C. Murphy, Emerson R. Murphy-Hill, Jingwen Ou, Emily Hill Degree-of-knowledge: Modeling a developer's knowledge of code. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Juan de Lara, Esther Guerra, Jesús Sánchez Cuadrado When and How to Use Multilevel Modelling. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gordon Fraser, Andrea Arcuri A Large-Scale Evaluation of Automated Unit Test Generation Using EvoSuite. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yueqi Li, Shing-Chi Cheung, Xiangyu Zhang, Yepang Liu Scaling Up Symbolic Analysis by Removing Z-Equivalent States. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andrew F. Tappenden, James Miller 0001 Automated cookie collection testing. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mainul Islam, Christoph Csallner Generating Test Cases for Programs that Are Coded against Interfaces and Annotations. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Razieh Behjati, Shiva Nejati, Lionel C. Briand Architecture-Level Configuration of Large-Scale Embedded Software Systems. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anders Møller, Mathias Schwarz Automated Detection of Client-State Manipulation Vulnerabilities. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David S. Rosenblum Editorial. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kai Pan, Xintao Wu, Tao Xie Guided test generation for database applications via synthesized database interactions. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kathryn T. Stolee, Sebastian G. Elbaum, Daniel Dobos Solving the Search for Source Code. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pingyu Zhang, Sebastian G. Elbaum Amplifying Tests to Validate Exception Handling Code: An Extended Study in the Mobile Application Domain. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mark Harman, Jens Krinke, Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Jian Ren 0004, Shin Yoo Exact scalable sensitivity analysis for the next release problem. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias Dynamite: A tool for the verification of alloy models based on PVS. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Robert M. Hierons Combining Centralised and Distributed Testing. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dharmalingam Ganesan, Mikael Lindvall ADAM: External dependency-driven architecture discovery and analysis of quality attributes. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1ThanhVu Nguyen, Deepak Kapur, Westley Weimer, Stephanie Forrest DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Wes Masri, Rawad Abou Assi Prevalence of coincidental correctness and mitigation of its impact on fault localization. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lucas Layman, Victor R. Basili, Marvin V. Zelkowitz A Methodology for Exposing Risk in Achieving Emergent System Properties. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lionel C. Briand, Davide Falessi, Shiva Nejati, Mehrdad Sabetzadeh, Tao Yue 0002 Traceability and SysML design slices to support safety inspections: A controlled experiment. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci Model-based synthesis of control software from system-level formal specifications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Robrecht Haesevoets, Danny Weyns, Tom Holvoet Architecture-centric support for adaptive service collaborations. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dilan Sahin, Marouane Kessentini, Slim Bechikh, Kalyanmoy Deb Code-Smell Detection as a Bilevel Problem. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dan Hao, Lingming Zhang, Lu Zhang 0023, Gregg Rothermel, Hong Mei A Unified Test Case Prioritization Approach. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Peter C. Rigby, Daniel M. Germán, Laura Cowen, Margaret-Anne D. Storey Peer Review on Open-Source Software Projects: Parameters, Statistical Models, and Theory. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Guowei Yang, Suzette Person, Neha Rungta, Sarfraz Khurshid Directed Incremental Symbolic Execution. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hassan Eldib, Chao Wang 0001, Patrick Schaumont Formal Verification of Software Countermeasures against Side-Channel Attacks. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yuming Zhou, Baowen Xu, Hareton Leung, Lin Chen 0015 An in-depth study of the potentially confounding effect of class size in fault prediction. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Klaas-Jan Stol, Paris Avgeriou, Muhammad Ali Babar, Yan Lucas, Brian Fitzgerald 0001 Key factors for adopting inner source. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David S. Rosenblum Editorial. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tracy Hall, Min Zhang 0008, David Bowes, Yi Sun 0001 Some Code Smells Have a Significant but Small Effect on Faults. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Guoqing (Harry) Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, Gary Sevitsky Scalable Runtime Bloat Detection Using Abstract Dynamic Slicing. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis Residual Investigation: Predictive and Precise Bug Detection. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Filippo Ricca, Giuseppe Scanniello, Marco Torchiano, Gianna Reggio, Egidio Astesiano Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Walid Maalej, Rebecca Tiarks, Tobias Roehm, Rainer Koschke On the Comprehension of Program Comprehension. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gail C. Murphy, Mauro Pezzè Introduction to the Special Issue International Conference on Software Engineering (ICSE 2012). Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Richard Banach, Huibiao Zhu, Wen Su, Xiaofeng Wu A Continuous ASM Modelling Approach to Pacemaker Sensing. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lunjin Lu, Dae-Kyoo Kim Required behavior of sequence diagrams: Semantics and conformance. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu 0001, Rachida Dssouli Conditional Commitments: Reasoning and Model Checking. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hervé Chang, Leonardo Mariani, Mauro Pezzè Exception handlers for healing component-based systems. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marcello La Rosa, Marlon Dumas, Reina Uba, Remco M. Dijkman Business Process Model Merging: An Approach to Business Process Consolidation. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Neil Walkinshaw, Kirill Bogdanov 0002 Automated Comparison of State-Based Software Models in Terms of Their Language and Structure. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Brian Demsky, Patrick Lam 0001 Views: Synthesizing fine-grained concurrency control. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Beatriz Marín, Giovanni Giachetti, Oscar Pastor, Tanja E. J. Vos, Alain Abran Using a functional size measurement procedure to evaluate the quality of models in MDD environments. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Guido de Caso, Víctor A. Braberman, Diego Garbervetsky, Sebastián Uchitel Enabledness-based program abstractions for behavior validation. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sagar Chaki, Christian Schallhart, Helmut Veith Verification across Intellectual Property Boundaries. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David S. Rosenblum In memoriam: David Notkin (1955-2013). Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Wei Le, Mary Lou Soffa Marple: Detecting faults in path segments using automatically generated analyses. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dawei Qi, Hoang D. T. Nguyen, Abhik Roychoudhury Path exploration based on symbolic output. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Shin Yoo, Mark Harman, David Clark Fault localization prioritization: Comparing information-theoretic and coverage-based approaches. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Daniel Sinnig, Patrice Chalin, Ferhat Khendek Use case and task models: An integrated development methodology and its formal foundation. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Martin Monperrus, Mira Mezini Detecting missing method calls as violations of the majority rule. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David Lizcano, Fernando Alonso, Javier Soriano, Genoveva López Gómez A web-centred approach to end-user software engineering. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Kevin J. Hoffman, Patrick Eugster Trading obliviousness for modularity with cooperative aspect-oriented programming. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Collin McMillan, Denys Poshyvanyk, Mark Grechanik, Qing Xie 0003, Chen Fu Portfolio: Searching for relevant functions and their usages in millions of lines of code. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Giovanni Denaro, Mauro Pezzè, Davide Tosi Test-and-adapt: An approach for improving service interchangeability. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mira Balaban, Azzam Maraee Finite satisfiability of UML class diagrams with constrained class hierarchy. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hong Zhu, Ian Bayley An algebra of design patterns. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zibin Zheng, Michael R. Lyu Personalized Reliability Prediction of Web Services. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David S. Rosenblum Editorial - looking forward. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Yan Liu 0012, Ling Shi, Étienne André Modeling and verifying hierarchical real-time systems using stateful timed CSP. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Guoqing (Harry) Xu, Atanas Rountev Precise memory leak detection for java software using container profiling. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Davide Falessi, Lionel C. Briand, Giovanni Cantone, Rafael Capilla, Philippe Kruchten The value of design rationale information. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1David Notkin Editorial - looking back. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Tao Yue 0002, Lionel C. Briand, Yvan Labiche Facilitating the transition from use case models to analysis models: Approach and experiments. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hadi Hemmati, Andrea Arcuri, Lionel C. Briand Achieving scalable model-based testing through test case diversity. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Xiaoyuan Xie, Tsong Yueh Chen, Fei-Ching Kuo, Baowen Xu A theoretical analysis of the risk evaluation formulas for spectrum-based fault localization. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Lorenzo Martignoni, Roberto Paleari, Alessandro Reina, Giampaolo Fresi Roglia, Danilo Bruschi A methodology for testing CPU emulators. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Wei Zhang 0022, Chong Sun, Junghee Lim, Shan Lu, Thomas W. Reps ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro Bounded satisfiability checking of metric temporal logic specifications. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jeff Huang 0001, Jinguo Zhou, Charles Zhang Scaling predictive analysis of concurrent programs by removing trace redundancy. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Takaaki Tateishi, Marco Pistoia, Omer Tripp Path- and index-sensitive string analysis based on monadic second-order logic. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Scott D. Fleming, Christopher Scaffidi, David Piorkowski, Margaret M. Burnett, Rachel K. E. Bellamy, Joseph Lawrance, Irwin Kwan An Information Foraging Theory Perspective on Tools for Debugging, Refactoring, and Reuse Tasks. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Leandro L. Minku, Xin Yao 0001 Software effort estimation as a multiobjective learning problem. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michael Würsch, Emanuel Giger, Harald C. Gall Evaluating a query framework for software evolution data. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Nicolás D'Ippolito, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel Synthesizing nonanomalous event-based controllers for liveness goals. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jérôme Vouillon, Roberto Di Cosmo On software component co-installability. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christian Kästner, Sven Apel, Thomas Thüm, Gunter Saake Type checking annotation-based product lines. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani DARWIN: An approach to debugging evolving programs. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Abhik Roychoudhury, Ankit Goel, Bikram Sengupta Symbolic Message Sequence Charts. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jaymie Strecker, Atif M. Memon Accounting for defect characteristics in evaluations of testing techniques. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jehad Al-Dallal, Lionel C. Briand A Precise Method-Method Interaction-Based Cohesion Metric for Object-Oriented Classes. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta Validation of requirements for hybrid systems: A formal approach. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paul Jennings, Arka P. Ghosh, Samik Basu 0001 A two-phase approximation for model checking probabilistic unbounded until properties of probabilistic systems. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Andrew Meneely, Ben H. Smith, Laurie Williams Validating software metrics: A spectrum of philosophies. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #101 - #200 of 496 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][>>]
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