Conferences in DBLP
Alexander L. Wolf Is security engineering really just good software engineering? [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Egyed Resolving uncertainties during trace analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Dingel , Hongzhi Liang Automating comprehensive safety analysis of concurrent programs using verisoft and TXL. [Citation Graph (0, 0)][DBLP ] Conf ] Jeff H. Perkins , Michael D. Ernst Efficient incremental algorithms for dynamic detection of likely invariants. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastián Uchitel , Robert Chatley , Jeff Kramer , Jeff Magee System architecture: the context for scenario-based model synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastián Uchitel , Marsha Chechik Merging partial behavioural models. [Citation Graph (0, 0)][DBLP ] Conf ] Emmanuel Letier , Axel van Lamsweerde Reasoning about partial goal satisfaction for requirements and design engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Roman Manevich , Manu Sridharan , Stephen Adams , Manuvir Das , Zhe Yang PSE: explaining program failures via postmortem static analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Sagar Chaki , Alex Groce , Ofer Strichman Explaining abstract counterexamples. [Citation Graph (0, 0)][DBLP ] Conf ] Ted Kremenek , Ken Ashcraft , Junfeng Yang , Dawson R. Engler Correlation exploitation in error ranking. [Citation Graph (0, 0)][DBLP ] Conf ] Joe Marks The usability problem for home appliances: engineers caused it, engineers can fix it! [Citation Graph (0, 0)][DBLP ] Conf ] Misha Zitser , Richard Lippmann , Tim Leek Testing static analysis tools using exploitable buffer overflows from open source code. [Citation Graph (0, 0)][DBLP ] Conf ] Licia Capra Engineering human trust in mobile system collaborations. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Xu , Daniel C. DuVarney , R. Sekar An efficient and backwards-compatible transformation to ensure memory safety of C programs. [Citation Graph (0, 0)][DBLP ] Conf ] Mira Mezini , Klaus Ostermann Variability management with feature-oriented programming and aspects. [Citation Graph (0, 0)][DBLP ] Conf ] Shriram Krishnamurthi , Kathi Fisler , Michael Greenberg Verifying aspect advice modularly. [Citation Graph (0, 0)][DBLP ] Conf ] Martin C. Rinard , Alexandru Salcianu , Suhabe Bugrara A classification system and analysis for aspect-oriented programs. [Citation Graph (0, 0)][DBLP ] Conf ] Robert J. Walker , Kevin Viggers Implementing protocols via declarative event patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Nancy G. Leveson , Kathryn Anne Weiss Making embedded software reuse practical and safe. [Citation Graph (0, 0)][DBLP ] Conf ] Holger Giese , Sven Burmester , Wilhelm Schäfer , Oliver Oberschelp Modular design and verification of component-based mechatronic systems with online-reconfiguration. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Edwards , Daniel Jackson , Emina Torlak A type system for object models. [Citation Graph (0, 0)][DBLP ] Conf ] Jianbin Tan , George S. Avrunin , Lori A. Clarke , Shlomo Zilberstein , Stefan Leue Heuristic-guided counterexample search in FLAVERS. [Citation Graph (0, 0)][DBLP ] Conf ] Ying Pan , Lei Wang , Lu Zhang , Bing Xie , Fuqing Yang Relevancy based semantic interoperation of reuse repositories. [Citation Graph (0, 0)][DBLP ] Conf ] Cleidson R. B. de Souza , David F. Redmiles , Li-Te Cheng , David R. Millen , John F. Patterson How a good software practice thwarts collaboration: the multiple roles of APIs in software development. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaofang Zhang , Michal Young , John Howard Eli Fiskio-Lasseter Refining code-design mapping with flow analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Orso , Nanjuan Shi , Mary Jean Harrold Scaling regression testing to large software systems. [Citation Graph (0, 0)][DBLP ] Conf ] María José Suárez Cabal , Javier Tuya Using an SQL coverage measurement for testing database applications. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Luo Li , Mary Shaw , James D. Herbsleb , Bonnie K. Ray , Peter Santhanam Empirical evaluation of defect projection models for widely-deployed production software systems. [Citation Graph (0, 0)][DBLP ] Conf ] 