Search results for "dynamic analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Ben Liblit, Atanas Rountev	WODA 2008: the sixth international workshop on dynamic analysis.	ISSTA	2008	DBLP DOI BibTeX RDF	development of dynamic analysis tools and frameworks, efficient instrumentation techniques, fault detection and debugging, remote analysis and measurement of software systems, statistical reasoning techniques, synergies between static and dynamic analysis techniques, visualization and classification of program behavior, software testing, dynamic analysis, runtime monitoring, optimization techniques, program evolution
3	Jungwoo Ha, Stephen P. Crago	Opportunities for concurrent dynamic analysis with explicit inter-core communication.	PASTE	2010	DBLP DOI BibTeX RDF	inter-core communication, concurrency, dynamic analysis, instrumentation
3	Cormac Flanagan, Stephen N. Freund	The RoadRunner dynamic analysis framework for concurrent programs.	PASTE	2010	DBLP DOI BibTeX RDF	concurrency, dynamic analysis
3	Aiman Hanna, Hai Zhou Ling, Xiaochun Yang, Mourad Debbabi	A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities.	OTM Conferences	2009	DBLP DOI BibTeX RDF	Static Analysis, Dynamic Analysis, Test-Data Generation, Security Testing, Security Automata
3	Jungwoo Ha, Matthew Arnold, Stephen M. Blackburn, Kathryn S. McKinley	A concurrent dynamic analysis framework for multicore hardware.	OOPSLA	2009	DBLP DOI BibTeX RDF	profiling, dynamic analysis, multicore, instrumentation
3	Alex Groce, Rajeev Joshi	Random testing and model checking: building a common framework for nondeterministic exploration.	WODA	2008	DBLP DOI BibTeX RDF	model checking, dynamic analysis, random testing, test frameworks
3	Alessandro Orso, Tao Xie	BERT: BEhavioral Regression Testing.	WODA	2008	DBLP DOI BibTeX RDF	software evolution, dynamic analysis, regression testing
3	David Lo, Siau-Cheng Khoo, Chao Liu 0001	Mining past-time temporal rules from execution traces.	WODA	2008	DBLP DOI BibTeX RDF	past-time temporal rules, data mining, dynamic analysis, specification mining
3	Hossein Safyallah, Kamran Sartipi	Dynamic Analysis of Software Systems using Execution Pattern Mining.	ICPC	2006	DBLP DOI BibTeX RDF	Feature Extraction, Scenario, Dynamic Analysis, Execution Trace, Sequential Pattern Mining
3	Fei Ge, Yang Cao, Yuan-ni Wang	Chaotic Dynamic Analysis of MPEG-4 Video Traffic and Its Influence on Packet Loss Ratio.	ICCNMC	2005	DBLP DOI BibTeX RDF	MPEG-4 video traffic, chaotic dynamic analysis, packet loss ratio
3	Atanas Rountev, Scott Kagan, Michael Gibas	Static and dynamic analysis of call chains in Java.	ISSTA	2004	DBLP DOI BibTeX RDF	call chains, static analysis, dynamic analysis, call graph
3	Eric Ying Kwong Chan, Yuen-Tak Yu	Evaluating Several Path-Based Partial Dynamic Analysis Methods for Selecting Black-Box Generated Test Cases.	QSIC	2004	DBLP DOI BibTeX RDF	partial dynamic analysis, path coverage, white-on-black approach, Black-box testing, test case selection, path analysis
3	Rudolf K. Keller, Marianne Ozkan, Xijin Shen	Towards Comprehensive Support for the Dynamic Analysis of Petri Net Based Models.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	Macronet, graphical simulation, visualization, performance analysis, Petri net, Dynamic analysis, business modelling, environment, tool evaluation
2	Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè	Dynamic Analysis for Diagnosing Integration Faults.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF	false positive filters, regression failure analysis, field failure analysis, diagnosis, Dynamic Analysis, fault localization
2	Young-Joo Kim, Sejun Song, Yong-Kee Jun	ADAT: An Adaptable Dynamic Analysis Tool for Race Detection in OpenMP Programs.	ISPA	2011	DBLP DOI BibTeX RDF	Intel Thread Checker, Adaptive Dynamic Analysis Tool, OpenMP, Race Detection
2	Ella Rabinovich, Opher Etzion, Sitvanit Ruah, Sarit Archushin	Analyzing the behavior of event processing applications.	DEBS	2010	DBLP DOI BibTeX RDF	model checking, formal verification, static analysis, dynamic analysis, event processing, event processing network
2	Cormac Flanagan, Stephen N. Freund	Adversarial memory for detecting destructive races.	PLDI	2010	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, race conditions, relaxed memory models
2	Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley	Jinn: synthesizing dynamic bug detectors for foreign language interfaces.	PLDI	2010	DBLP DOI BibTeX RDF	ffi bugs, foreign function interfaces (FFI), java native interface (jni), multilingual programs, python/C, specification generation, specification, dynamic analysis
2	Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro	Dynamically checking ownership policies in concurrent c/c++ programs.	POPL	2010	DBLP DOI BibTeX RDF	security, testing, concurrency, debugging, tools, dynamic analysis
2	Ulrich Bayer, Engin Kirda, Christopher Kruegel	Improving the efficiency of dynamic malware analysis.	SAC	2010	DBLP DOI BibTeX RDF	dynamic analysis, malware analysis
2	Asia Slowinska, Traian Stancescu, Herbert Bos	DDE: dynamic data structure excavation.	ApSys	2010	DBLP DOI BibTeX RDF	detecting data structures, dynamic analysis, binary
2	Anton Babenko, Leonardo Mariani, Fabrizio Pastore	AVA: automated interpretation of dynamically detected anomalies.	ISSTA	2009	DBLP DOI BibTeX RDF	anomaly detection, dynamic analysis
2	Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan	SideTrack: generalizing dynamic atomicity analysis.	PADTAD	2009	DBLP DOI BibTeX RDF	dynamic analysis, atomicity, serializability
2	Bastian Steinert, Michael Perscheid, Martin Beck, Jens Lincke, Robert Hirschfeld	Debugging into Examples.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	Program comprehension, dynamic analysis, test coverage
2	Artur Boronat, José Meseguer	Algebraic Semantics of OCL-Constrained Metamodel Specifications.	TOOLS	2009	DBLP DOI BibTeX RDF	OCL invariants, MOF metamodel, static and dynamic analysis of models, Membership equational logic
2	Davide Balzarotti, Marco Cova, Viktoria Felmetsger, Nenad Jovanovic, Engin Kirda, Christopher Kruegel, Giovanni Vigna	Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF
2	Thomas W. Secord, Jun Ueda, H. Harry Asada	Dynamic analysis of a high-bandwidth, large-strain, PZT cellular muscle actuator with layered strain amplification.	ICRA	2008	DBLP DOI BibTeX RDF
2	Andy Zaidman, Abdelwahab Hamou-Lhadj, Orla Greevy, David Röthlisberger	Workshop on Program Comprehension Through Dynamic Analysis (PCODA'08).	WCRE	2008	DBLP DOI BibTeX RDF
2	Anthony Cleve, Jean-Luc Hainaut	Dynamic Analysis of SQL Statements for Data-Intensive Applications Reverse Engineering.	WCRE	2008	DBLP DOI BibTeX RDF
2	Abhishek Rohatgi, Abdelwahab Hamou-Lhadj, Juergen Rilling	An Approach for Mapping Features to Code Based on Static and Dynamic Analysis.	ICPC	2008	DBLP DOI BibTeX RDF
2	Zhu Lei, Yang Xin, Yao Liping, Sun Kun	Three Dimensional Reconstruction and Dynamic Analysis of Mitral Annular Based on Connected Equi-length Curve Angle Chain.	ICMB	2008	DBLP DOI BibTeX RDF
2	Elaheh Safari-Sharifabadi, Constantinos Constantinides	Dynamic analysis of Ada programs for comprehension and quality measurement.	SIGAda	2008	DBLP DOI BibTeX RDF	quality measurement and metrics, program comprehension, dynamic program analysis
2	Alex Groce, Rajeev Joshi	Extending Model Checking with Dynamic Analysis.	VMCAI	2008	DBLP DOI BibTeX RDF
2	Avishay Traeger, Ivan Deras, Erez Zadok	DARC: dynamic analysis of root causes of latency distributions.	SIGMETRICS	2008	DBLP DOI BibTeX RDF	root cause, dynamic instrumentation
2	Yui Watanabe, Takashi Ishio, Katsuro Inoue	Feature-level phase detection for execution trace using object cache.	WODA	2008	DBLP DOI BibTeX RDF	dynamic analysis, sequence diagram, execution trace, Java program, phase detection
2	Saheeb Ahmed Kayani, Muhammad Afzaal Malik	Bond-graphs + genetic programming: analysis of an automatically synthesized rotary mechanical system.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	multi energy domain dynamic or mechatronic systems, physical design realization, rotary mechanical systems, topology synthesis, unified/automated design, genetic programming, dynamic analysis, object oriented modeling, bond-graphs
2	Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip	Dynamic detection of atomic-set-serializability violations.	ICSE	2008	DBLP DOI BibTeX RDF	dynamic analysis, atomicity, serializability, data races, concurrent object-oriented programming
2	Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè	Automatic generation of software behavioral models.	ICSE	2008	DBLP DOI BibTeX RDF	gk-tail, dynamic analysis, model synthesis
2	Cormac Flanagan, Stephen N. Freund, Jaeheon Yi	Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs.	PLDI	2008	DBLP DOI BibTeX RDF	dynamic analysis, atomicity, serializability
2	Koushik Sen	Race directed random testing of concurrent programs.	PLDI	2008	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, random testing, race detection
2	Chang-Seo Park, Koushik Sen	Randomized active atomicity violation detection in concurrent programs.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	atomicity violation detection, concurrency, dynamic analysis, random testing
2	Jingjin Shen, Chenggang Li, Hongtao Wu	A Research on Dynamics of a Hexapod with Closed-Loop Legs.	ICIRA	2008	DBLP DOI BibTeX RDF	hexapod, AB algorithm, Newton-Euler MBDA, dynamic analysis, closed-loop
2	Matthew B. Dwyer, Rahul Purandare	Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis.	ASE	2007	DBLP DOI BibTeX RDF	optimizing run-time monitors, static error detection
2	Neelam Gupta, Rajiv Gupta	ExPert: Dynamic Analysis Based Fault Location via Execution Perturbations.	IPDPS	2007	DBLP DOI BibTeX RDF
2	Michael Schmidt, Stefanie Scherzinger, Christoph Koch	Combined Static and Dynamic Analysis for Effective Buffer Minimization in Streaming XQuery Evaluation.	ICDE	2007	DBLP DOI BibTeX RDF
2	Paolina Centonze, Robert J. Flynn, Marco Pistoia	Combining Static and Dynamic Analysis for Automatic Identification of Precise Access-Control Policies.	ACSAC	2007	DBLP DOI BibTeX RDF
2	Luca Sterpone, Massimo Violante	Static and Dynamic Analysis of SEU Effects in SRAM-Based FPGAs.	European Test Symposium	2007	DBLP DOI BibTeX RDF
2	Bas Cornelissen	Dynamic Analysis Techniques for the Reconstruction of Architectural Views.	WCRE	2007	DBLP DOI BibTeX RDF
2	Abdelwahab Hamou-Lhadj, Andy Zaidman, Orla Greevy	Workshop on Program Comprehension through Dynamic Analysis (PCODA07).	WCRE	2007	DBLP DOI BibTeX RDF
2	Sriram K. Rajamani	Static and Dynamic Analysis: Better Together.	APLAS	2007	DBLP DOI BibTeX RDF
2	Alessandro Orso, Andreas Zeller	Fifth International Workshop on Dynamic Analysis (WODA 2007).	ICSE Companion	2007	DBLP DOI BibTeX RDF
2	Adrian Lienhard, Stéphane Ducasse, Tudor Gîrba	Object flow analysis: taking an object-centric view on dynamic analysis.	ICDL	2007	DBLP DOI BibTeX RDF
2	David Lo, Shahar Maoz, Siau-Cheng Khoo	Mining modal scenario-based specifications from execution traces of reactive systems.	ASE	2007	DBLP DOI BibTeX RDF	dynamic analysis, live sequence charts, specification mining, UML sequence diagrams
2	Ruben E. Brown	AWE: improving software analysis through modular integration of static and dynamic analyses.	PASTE	2007	DBLP DOI BibTeX RDF	malicious software analysis, static analysis, dynamic analysis
2	Ondrej Lhoták	Comparing call graphs.	PASTE	2007	DBLP DOI BibTeX RDF	comparison tools, interpreting analysis results, static analysis, dynamic analysis, call graph
2	Minglan Lin, Anurag Kumar Srivastava, Noel N. Schulz	Modeling considerations in static and dynamic voltage stability studies of shipboard power systems.	SCSC	2007	DBLP DOI BibTeX RDF	PSCAD, numerical integration method, voltage stability, static analysis, dynamic analysis
2	Leonardo Mariani, Mauro Pezzè	Dynamic Detection of COTS Component Incompatibility.	IEEE Software	2007	DBLP DOI BibTeX RDF	dynamic analysis, COTS components, run-time verification
2	Ulrich Bayer, Andreas Moser, Christopher Krügel, Engin Kirda	Dynamic Analysis of Malicious Code.	Journal in Computer Virology	2006	DBLP DOI BibTeX RDF	Virus worm, Static analysis, Analysis, Dynamic analysis, API, Malware
2	Ioan Raicu, Ian T. Foster, Alexander S. Szalay	Poster reception - Harnessing grid resources to enable the dynamic analysis of large astronomy datasets.	SC	2006	DBLP DOI BibTeX RDF
2	Ashish Aggarwal, Pankaj Jalote	Integrating Static and Dynamic Analysis for Detecting Vulnerabilities.	COMPSAC	2006	DBLP DOI BibTeX RDF
2	Andy Zaidman, Orla Greevy, Abdelwahab Hamou-Lhadj	Program COmprehension through Dynamic Analysis.	WCRE	2006	DBLP DOI BibTeX RDF
2	Jeremy Singer, Chris C. Kirkham	Dynamic analysis of program concepts in Java.	PPPJ	2006	DBLP DOI BibTeX RDF	Java
2	Inbal Ronen, Nurit Dor, Sara Porat, Yael Dubinsky	Combined static and dynamic analysis for inferring program dependencies using a pattern language.	CASCON	2006	DBLP DOI BibTeX RDF
2	Neelam Gupta, Andy Podgurski	Fourth international workshop on dynamic analysis (WODA 2006).	ICSE	2006	DBLP DOI BibTeX RDF
2	Andy Zaidman, Serge Demeyer, Bram Adams, Kris De Schutter, Ghislain Hoffman, Bernard De Ruyck	Regaining Lost Knowledge through Dynamic Analysis and Aspect Orientation.	CSMR	2006	DBLP DOI BibTeX RDF
2	Andy Zaidman	Scalability Solutions for Program Comprehension through Dynamic Analysis.	CSMR	2006	DBLP DOI BibTeX RDF
2	Maher Salah, Spiros Mancoridis, Giuliano Antoniol, Massimiliano Di Penta	Scenario-Driven Dynamic Analysis for Comprehending Large Software Systems.	CSMR	2006	DBLP DOI BibTeX RDF
2	Johannes Bohnet, Jürgen Döllner	Visual exploration of function call graphs for feature location in complex software systems.	SOFTVIS	2006	DBLP DOI BibTeX RDF	reverse engineering, program comprehension, dynamic analysis, software visualization, feature location, feature analysis
2	Lori L. Pollock, James H. Andrews	ICSE 2005 workshop summary third international workshop on dynamic analysis (WODA 2005).	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF
2	Suan Hsi Yong, Susan Horwitz	Using Static Analysis to Reduce Dynamic Analysis Overhead.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF	dynamic debugging, runtime types, static analysis
2	Orla Greevy, Abdelwahab Hamou-Lhadj, Andy Zaidman	Workshop on Program Comprehension through Dynamic Analysis (PCODA '05).	WCRE	2005	DBLP DOI BibTeX RDF
2	Giuseppe A. Di Lucca, Massimiliano Di Penta	Integrating Static and Dynamic Analysis to improve the Comprehension of Existing Web Applications.	WSE	2005	DBLP DOI BibTeX RDF
2	Maher Salah, Spiros Mancoridis, Giuliano Antoniol, Massimiliano Di Penta	Towards Employing Use-Cases and Dynamic Analysis to Comprehend Mozilla.	ICSM	2005	DBLP DOI BibTeX RDF
2	James H. Andrews, Lori L. Pollock	Third international workshop on dynamic analysis(WODA 2005).	ICSE	2005	DBLP DOI BibTeX RDF
2	Christopher J. F. Pickett, Clark Verbrugge	SableSpMT: a software framework for analysing speculative multithreading in Java.	PASTE	2005	DBLP DOI BibTeX RDF	static and dynamic analysis, java, virtual machines, profiling, thread level speculation, speculative multithreading
2	V. Benjamin Livshits, Thomas Zimmermann	DynaMine: finding common error patterns by mining software revision histories.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	error patterns, one-line check-ins, data mining, dynamic analysis, coding patterns, revision histories, software bugs
2	Orla Greevy, Stéphane Ducasse	Correlating Features and Code Using a Compact Two-Sided Trace Analysis Approach.	CSMR	2005	DBLP DOI BibTeX RDF	Feature-Traces, Software Metrics, Software Evolution, Dynamic Analysis, Feature
2	David Evans, Raimondas Lencevicius	ICSE 2004 workshop summary second international workshop on dynamic analysis (WODA 2004).	ACM SIGSOFT Software Engineering Notes	2004	DBLP DOI BibTeX RDF
2	Giuliano Antoniol, Massimiliano Di Penta, Michele Zazzara	Understanding Web Applications through Dynamic Analysis.	IWPC	2004	DBLP DOI BibTeX RDF	UML, web applications, dynamic analysis
2	Fabian Kuhn, Roger Wattenhofer	Dynamic analysis of the arrow distributed protocol.	SPAA	2004	DBLP DOI BibTeX RDF	distributed ordering, distributed queuing, distributed algorithms, competitive analysis
2	Michael D. Ernst	Invited Talk Static and dynamic analysis: synergy and duality.	PASTE	2004	DBLP DOI BibTeX RDF
2	David Evans, Raimondas Lencevicius	Second International Workshop on Dynamic Analysis (WODA 2004).	ICSE	2004	DBLP DOI BibTeX RDF
2	Cormac Flanagan, Stephen N. Freund	Atomizer: a dynamic atomicity checker for multithreaded programs.	POPL	2004	DBLP DOI BibTeX RDF	dynamic analysis, reduction, atomicity
2	Jonathan E. Cook, Michael D. Ernst	Summary: ICSE workshop on dynamic analysis (WODA 2003).	ACM SIGSOFT Software Engineering Notes	2003	DBLP DOI BibTeX RDF
2	Jonathan E. Cook, Michael D. Ernst	ICSE Workshop on Dynamic Analysis (WODA 2003). (PDF / PS)	ICSE	2003	DBLP DOI BibTeX RDF
2	S. K. De, Narayan R. Aluru	Physical And Reduced-Order Dynamic Analysis of MEMS.	ICCAD	2003	DBLP DOI BibTeX RDF	switching speed and power, dynamics, MEMS, reduced order modeling, resonant frequency
2	Yann-Gaël Guéhéneuc, Rémi Douence, Narendra Jussien	No Java without Caffeine: A Tool for Dynamic Analysis of Java Programs.	ASE	2002	DBLP DOI BibTeX RDF
2	Jianfeng Li, Weihai Chen, Dezhong Liu, Jinsong Wang	Inverse kinematic and dynamic analysis of a 3-DOF parallel mechanism.	ICARCV	2002	DBLP DOI BibTeX RDF
2	Claudio Riva, Jordi Vidal Rodríguez	Combining Static and Dynamic Views for Architecture Reconstruction. (PDF / PS)	CSMR	2002	DBLP DOI BibTeX RDF	Software Architecture, Reverse Engineering, Dynamic Analysis, MSC, Architecture Reconstruction
2	Laura J. White, Norman Wilde	Dynamic analysis for locating product features in Ada code.	SIGAda	2001	DBLP DOI BibTeX RDF	Ada tracing architecture, Software Reconnaissance, locating features in code, performance trials, trace monitoring, Ada, dynamic analysis, instrumentation
2	Harry M. Sneed	Source Animation as a Means of Program Comprehension. (PDF / PS)	IWPC	2000	DBLP DOI BibTeX RDF	Control Flow Slicing, UML, Animation, Object-Orientation, C++, Dynamic Analysis, Concept Lattices, Sequence Diagrams, State Transition
2	Yoshiyuki Ashida, Fumiaki Ohata, Katsuro Inoue	Slicing Methods Using Static and Dynamic Analysis Information.	APSEC	1999	DBLP DOI BibTeX RDF
2	Thomas Ball	The Concept of Dynamic Analysis.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
2	Chih-Tung Chen, Kayhan Küçükçakar	A Source-Level Dynamic Analysis Methodology and Tool for High-Level Synthesis. (PDF / PS)	ISSS	1997	DBLP DOI BibTeX RDF
2	Steven P. Reiss	Cacti: a front end for program visualization.	INFOVIS	1997	DBLP DOI BibTeX RDF	Cacti, program visualization front end, visual universal-relation front end, multiple data sources, high-quality, resource files, static analysis, data model, queries, dynamic analysis, data visualisation, software understanding, data sources
2	Norman Wilde, Christopher Casey	Early field experience with the Software Reconnaissance technique for program comprehension. (PDF / PS)	ICSM	1996	DBLP DOI BibTeX RDF	Software Reconnaissance technique, dynamic analysis technique, code location, industrial maintainers, software feature location, RECON tool, industrial programs, traceability relation, program features, reverse engineering, design patterns, program comprehension, programmers, large systems, program code
2	S. G. Chang, D. Y. Suh, M. H. Kyung, S. H. Park, Jae-Il Jung	A Strategy for Construction of a 40 Mbps Bundle of MPEG VBR Bit Streams.	LCN	1996	DBLP DOI BibTeX RDF	bandwidth limited channel, VBR MPEG video bit streams, bit rate fluctuation, multiplexed bit stream, single layer bit streams, double layer video bit streams, statistical multiplexing gain, power spectrum density, delay QoS, loss QoS, 40 Mbit/s, static analysis, asynchronous transfer mode, ATM, dynamic analysis, queueing analysis, B-ISDN
2	Norman Wilde, Christopher Casey	Early Field Experience with the Software Recounaissance Technique for Program Comprehension. (PDF / PS)	WCRE	1996	DBLP DOI BibTeX RDF	Software Reconnaissance technique, dynamic analysis technique, program enhancement, unfamiliar system, RECON tool, traceability relation, technology transfer project, Software Engineering Research Center, industrial technique, reverse engineering, design patterns, software maintenance, program comprehension
2	John Callahan, Sudhaka Ramakrishnan	Software project management and measurement on the World-Wide-Web (WWW). (PDF / PS)	WETICE	1996	DBLP DOI BibTeX RDF	software project measurement, forms-based workflow management, geographical barriers, Web Integrated Software Environment, change activity, WISE, metrics collection, metrics analysis, implicit message delivery, project document content, World Wide Web, collaboration, database, project management, software process improvement, dynamic analysis, software project management, informal communication, software development team, to-do lists
2	Wael M. Elseaidy	Static and dynamic analysis of real-time systems.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF	SUP-INF procedure, Spec U/L bounds, deterministic timing tools, negative cycle, positive cycle, program U/L bounds, Real-time, theorem proving, real-time logic