Search results for "Java programs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Pavel Parizek, Tomas Kalibera	Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs.	FMICS	2009	DBLP DOI BibTeX RDF	restrictions of concurrency, model checking, embedded systems, Java programs, state explosion
3	Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier	Towards verification and testing of Java programs.	SAC	2008	DBLP DOI BibTeX RDF	program verification, java programs, object-oriented testing
3	Zheng Yuan, Qiaoyan Wen, Wenling Wu, Qing Zhang	An ID-Based Watermarking Scheme for Java Programs.	EUC Workshops	2006	DBLP DOI BibTeX RDF	watermarked opaque predicates, Java programs, ID, aggregate signature, watermarking scheme
3	Sotiris Skevoulis, Xiaoping Jia	Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs.	TOOLS	2000	DBLP DOI BibTeX RDF	generic invariant-based static analysis tool, runtime error detection, automatic bug detection, illegal dereference, array bounds, Java class, Java, object-oriented programming, object oriented language, program debugging, program diagnostics, Java programs
2	Eli Tilevich, Yannis Smaragdakis	J-Orchestra: Enhancing Java programs with distribution capabilities.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	Java, middleware, distributed computing, Separation of concerns, RMI, bytecode engineering
2	Arend Rensink, Eduardo Zambon	A Type Graph Model for Java Programs.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
2	Gabor Szeder	Unit testing for multi-threaded Java programs.	PADTAD	2009	DBLP DOI BibTeX RDF	Java
2	Andrzej Olszak, Bo Nørregaard Jørgensen	Remodularizing Java programs for comprehension of features.	FOSD	2009	DBLP DOI BibTeX RDF	features, feature location, remodularization
2	Borys J. Bradel, Tarek S. Abdelrahman	The use of hardware transactional memory for the trace-based parallelization of recursive Java programs.	PPPJ	2009	DBLP DOI BibTeX RDF	Java, parallelism, transactional memory, traces
2	William C. Benton, Charles N. Fischer	Mostly-Functional Behavior in Java Programs.	VMCAI	2009	DBLP DOI BibTeX RDF	Java, Program Analysis, Type-and-effect Systems
2	Dapeng Liu, Shaochun Xu	MuTT: A Multi-Threaded Tracer for Java Programs.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
2	Zoe C. H. Yu, Francis C. M. Lau, Cho-Li Wang	Object co-location and memory reuse for Java programs.	TACO	2008	DBLP DOI BibTeX RDF	memory reuse, object co-location, Java, mutator, Memory allocator, garbage collector
2	Kurt Stenzel, Holger Grandy, Wolfgang Reif	Verification of Java Programs with Generics.	AMAST	2008	DBLP DOI BibTeX RDF
2	Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong	UML state machine diagram driven runtime verification of Java programs for message interaction consistency.	SAC	2008	DBLP DOI BibTeX RDF	UML state machine diagrams, java, runtime verification
2	Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang	Ontology Model-Based Static Analysis on Java Programs.	COMPSAC	2008	DBLP DOI BibTeX RDF	Program ontology model, bug detector, abstract syntax tree (AST), static analysis, reasoning
2	Takashi Ishio, Hironori Date, Tatsuya Miyake, Katsuro Inoue	Mining Coding Patterns to Detect Crosscutting Concerns in Java Programs.	WCRE	2008	DBLP DOI BibTeX RDF
2	Barthélémy Dagenais, Laurie J. Hendren	Enabling static analysis for partial java programs.	OOPSLA	2008	DBLP DOI BibTeX RDF	partial programs, java, type inference
2	Thomas Bøgholm, Henrik Kragh-Hansen, Petur Olsen, Bent Thomsen, Kim Guldstrand Larsen	Model-based schedulability analysis of safety critical hard real-time Java programs.	JTRES	2008	DBLP DOI BibTeX RDF	real-time systems, model checking, schedulability analysis, software verification, real-time Java, Java processor
2	James J. Hunt, Isabel Tonin, Fridtjof Siebert	Using global data flow analysis on bytecode to aid worst case execution time analysis for real-time Java programs.	JTRES	2008	DBLP DOI BibTeX RDF	realtime Java, verification, data flow analysis, worst case execution time, formal analysis
2	Ewan D. Tempero, James Noble, Hayden Melton	How Do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software.	ECOOP	2008	DBLP DOI BibTeX RDF
2	Venkatesh Prasad Ranganath, John Hatcliff	Slicing concurrent Java programs using Indus and Kaveri.	STTT	2007	DBLP DOI BibTeX RDF	Concurrent Java, Indus, Kaveri, Program slicing, Program dependences
2	Frank S. de Boer	A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs.	FMOODS	2007	DBLP DOI BibTeX RDF
2	Holger Grandy, Kurt Stenzel, Wolfgang Reif	A Refinement Method for Java Programs.	FMOODS	2007	DBLP DOI BibTeX RDF
2	Michael T. Helmick	Interface-based programming assignments and automatic grading of java programs.	ITiCSE	2007	DBLP DOI BibTeX RDF	java, interfaces, automated grading
2	Letu Yang, Michael Poppleton	Automatic Translation from Combined B and CSP Specification to Java Programs.	B	2007	DBLP DOI BibTeX RDF
2	Ying Jin	Formal Verification of Protocol Properties of Sequential Java Programs.	COMPSAC	2007	DBLP DOI BibTeX RDF
2	Kung Chen, Ju-Bing Chen	Aspect-Based Instrumentation for Locating Memory Leaks in Java Programs.	COMPSAC	2007	DBLP DOI BibTeX RDF
2	Haiying Xu, Christopher J. F. Pickett, Clark Verbrugge	Dynamic purity analysis for java programs.	PASTE	2007	DBLP DOI BibTeX RDF	purity, Java, software metrics, dynamic analysis, memoization, side effects, escape analysis
2	Borys J. Bradel, Tarek S. Abdelrahman	The potential of trace-level parallelism in Java programs.	PPPJ	2007	DBLP DOI BibTeX RDF	Java, parallelism, traces
2	Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza	jMoped: A Test Environment for Java Programs.	CAV	2007	DBLP DOI BibTeX RDF
2	Attila Szegedi, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy, Gabriella Toth	Verifying the Concept of Union Slices on Java Programs.	CSMR	2007	DBLP DOI BibTeX RDF
2	Xiaoxia Ren, Ophelia Chesley, Barbara G. Ryder	Identifying Failure Causes in Java Programs: An Application of Change Impact Analysis.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	semantic change impact analysis, edit change dependence, intermediate versions of programs, regression testing, Fault localization
2	Sewon Moon, Byeong-Mo Chang	A thread monitoring system for multithreaded Java programs.	SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	Java, Java, synchronization, monitoring, thread
2	Kyungwoo Lee, Samuel P. Midkiff	A two-phase escape analysis for parallel java programs.	PACT	2006	DBLP DOI BibTeX RDF	compilation models, java, memory models, consistency models, escape analysis
2	Anduo Wang, Fei He, Ming Gu, Xiaoyu Song	Verifying Java Programs By Theorem Prover HOL.	COMPSAC	2006	DBLP DOI BibTeX RDF
2	Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng	Runtime Verification of Java Programs for Scenario-Based Specifications.	Ada-Europe	2006	DBLP DOI BibTeX RDF
2	Bixin Li, Yancheng Wang, Lili Yang	An Integrated Regression Testing Framework to Multi-Threaded Java Programs.	SET	2006	DBLP DOI BibTeX RDF	Regression testing, Multi-threaded program, Reachability testing
2	Juan P. Galeotti, Marcelo F. Frias	DynAlloy as a Formal Method for the Analysis of Java Programs.	SET	2006	DBLP DOI BibTeX RDF
2	Sokhom Pheng, Clark Verbrugge	Dynamic Data Structure Analysis for Java Programs.	ICPC	2006	DBLP DOI BibTeX RDF
2	Marcelo d'Amorim, Klaus Havelund	Event-based runtime verification of java programs.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	event versus state predicates, Java, aspect oriented programming, temporal logic, runtime verification, program instrumentation
2	Eryk Laskowski, Marek Tudruj, Richard Olejnik, Bernard Toursel	Java Programs Optimization Based on the Most-Often-Used-Paths Approach.	PPAM	2005	DBLP DOI BibTeX RDF
2	Bernadette Power, Geoff W. Hamilton	Declassification: Transforming Java Programs to Remove Intermediate Classes.	SCAM	2005	DBLP DOI BibTeX RDF
2	Andreas Roth	Specification and Verification of Encapsulation in Java Programs.	FMOODS	2005	DBLP DOI BibTeX RDF
2	Tetsuro Katayama, Yusuke Yabuya	Proposal of a Method to Support Testing for Java Programs with UML.	APSEC	2005	DBLP DOI BibTeX RDF	test items, Java, Unified Modeling Language (UML), software testing, functional testing
2	Rong Chen, Franz Wotawa	An Object Store Model for Diagnosing Java Programs.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
2	Clovis Seragiotto Jr., Thomas Fahringer	Performance analysis for distributed and parallel Java programs with Aksum.	CCGRID	2005	DBLP DOI BibTeX RDF
2	Donglin Liang, Maikel Pennings, Mary Jean Harrold	Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs.	PASTE	2005	DBLP DOI BibTeX RDF
2	Claude Marché, Christine Paulin-Mohring	Reasoning About Java Programs with Aliasing and Frame Conditions.	TPHOLs	2005	DBLP DOI BibTeX RDF
2	Rajkishore Barik	Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs.	LCPC	2005	DBLP DOI BibTeX RDF
2	David Crowther, Djuradj Babich, Peter J. Clarke	A Class Abstraction Technique to Support the Analysis of Java Programs During Testing.	SERA	2005	DBLP DOI BibTeX RDF
2	Alexandru Salcianu, Martin C. Rinard	Purity and Side Effect Analysis for Java Programs.	VMCAI	2005	DBLP DOI BibTeX RDF
2	Hoon-Joon Kouh, Sun-Moon Jo, Weon-Hee Yoo	Design of HDTS System for Locating Logical Errors in Java Programs.	ACIS-ICIS	2005	DBLP DOI BibTeX RDF	HDTS, Logical Errors, Java, Debugging
2	Zehra Sura, Xing Fang, Chi-Leung Wong, Samuel P. Midkiff, Jaejin Lee, David A. Padua	Compiler techniques for high performance sequentially consistent java programs.	PPOPP	2005	DBLP DOI BibTeX RDF	java, synchronization, multithread, memory consistency
2	Sarfraz Khurshid, Darko Marinov	TestEra: Specification-Based Testing of Java Programs Using SAT.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	Java testing, TestEra, SAT enumeration, software testing, specification-based testing, Alloy, automated test generation
2	Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky	Java-MaC: A Run-Time Assurance Approach for Java Programs.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	run-time monitoring and checking, execution trace validation, Java bytecode engineering, Java, formal specification, software reliability, program instrumentation
2	Eitan Farchi, Yoel Krasny, Yarden Nir	Automatic Simulation of Network Problems in UDP-Based Java Programs.	IPDPS	2004	DBLP DOI BibTeX RDF
2	Durga Prasad Mohapatra, Rajib Mall, Rajeev Kumar	An Efficient Technique for Dynamic Slicing of Concurrent Java Programs.	AACC	2004	DBLP DOI BibTeX RDF
2	Yanhong Sun, Edward L. Jones	Specification-driven automated testing of GUI-based Java programs.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	test specification language, test automation, test engine
2	Sigmund Cherem, Radu Rugina	Region analysis and transformation for Java programs.	ISMM	2004	DBLP DOI BibTeX RDF	program transformations, pointer analysis, region-based memory management
2	Corina S. Pasareanu, Willem Visser	Verification of Java Programs Using Symbolic Execution and Invariant Generation.	SPIN	2004	DBLP DOI BibTeX RDF
2	Venkatesh Prasad Ranganath, John Hatcliff	Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs.	CC	2004	DBLP DOI BibTeX RDF
2	Áine Mitchell, James F. Power	An empirical investigation into the dimensions of run-time coupling in Java programs.	PPPJ	2004	DBLP DOI BibTeX RDF
2	Priya Nagpurkar, Chandra Krintz	Visualization and analysis of phased behavior in Java programs.	PPPJ	2004	DBLP DOI BibTeX RDF
2	Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Michael D. Ernst	Converting java programs to use generic libraries.	OOPSLA	2004	DBLP DOI BibTeX RDF	JSR-14, Java 1.5, Java 5, instantiation types, raw types, type inference, parametric polymorphism, generic types, parameterized types
2	Hironori Washizaki, Yoshiaki Fukazawa	A search system for java programs by using extracted javaBeans components.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	program search, component-based development, javaBeans
2	Hoon-Joon Kouh, Ki-Tae Kim, Sun-Moon Jo, Weon-Hee Yoo	Debugging of Java Programs Using HDT with Program Slicing.	ICCSA	2004	DBLP DOI BibTeX RDF
2	Tao Wang, Abhik Roychoudhury	Using Compressed Bytecode Traces for Slicing Java Programs.	ICSE	2004	DBLP DOI BibTeX RDF
2	Mok Pak Lun, Anthony S. Fong, Gary K. W. Hau	Object-oriented processor requirements with instruction analysis of Java programs.	SIGARCH Computer Architecture News	2003	DBLP DOI BibTeX RDF
2	Philippe Chevalley, Pascale Thévenod-Fosse	A mutation analysis tool for Java programs.	STTT	2003	DBLP DOI BibTeX RDF	Test case evaluation, Reflective systems, OpenJava, Java, Object-oriented programming, Mutation analysis, Mutation operators
2	Hiroyuki Ozaki, Shingo Ban, Katsuhiko Gondow, Takuya Katayama	An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation.	APSEC	2003	DBLP DOI BibTeX RDF
2	Mok Pak Lun, Anthony Fong, Gary K. W. Hau	Object-oriented processor requirements with instruction analysis of Java programs.	ISICT	2003	DBLP DOI BibTeX RDF
2	Hoon-Joon Kouh, Weon-Hee Yoo	Automated Debugging in Java Programs Using HDM.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
2	Michael Factor, Assaf Schuster, Konstantin Shagin	JavaSplit: A Runtime for Execution of Monolithic Java Programs on Heterogeneous Collections of Commodity Workstations.	CLUSTER	2003	DBLP DOI BibTeX RDF
2	Hugo Leroux, Annya Réquilé-Romanczuk, Christine Mingins	JACOT: a tool to dynamically visualise the execution of concurrent Java programs.	PPPJ	2003	DBLP DOI BibTeX RDF	Java, UML, concurrency, visualisation
2	Gabriela Jacques da Silva, Lucas Mello Schnorr, Benhur de Oliveira Stein	JRastro: A Trace Agent for Debugging Multithreaded and Distributed Java Programs.	SBAC-PAD	2003	DBLP DOI BibTeX RDF
2	Bruce R. Childers, Mary Lou Soffa, J. Beaver, L. Ber, K. Cammarata, T. Kane, J. Litman, Jonathan Misurda	SoftTest: a framework for software testing of Java programs.	OOPSLA Workshop on Eclipse Technology eXchange	2003	DBLP DOI BibTeX RDF
2	Bruno Dufour, Laurie J. Hendren, Clark Verbrugge	*J: a tool for dynamic analysis of Java programs.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	Java, software metrics, program analysis, profiling, execution traces, dynamic metrics
2	Hoon-Joon Kouh, Weon-Hee Yoo	The Efficient Debugging System for Locating Logical Errors in Java Programs.	ICCSA	2003	DBLP DOI BibTeX RDF
2	Scott D. Stoller	Model-checking multi-threaded distributed Java programs.	STTT	2002	DBLP DOI BibTeX RDF	Java, Model checking, Reduction, Locks, Partial-order methods
2	Sang-Uk Jeon, Joon-Sang Lee, Doo-Hwan Bae	An Automated Refactoring Approach to Design Pattern-Based Program Transformations in Java Programs.	APSEC	2002	DBLP DOI BibTeX RDF
2	Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin	Towards the Automated Verification of Multithreaded Java Programs.	TACAS	2002	DBLP DOI BibTeX RDF
2	Gleb Naumovich	A conservative algorithm for computing the flow of permissions in Java programs.	ISSTA	2002	DBLP DOI BibTeX RDF	security, java, verification, static analysis, data flow analysis
2	Jens Gustedt, Ole A. Mæhle, Jan Arne Telle	The Treewidth of Java Programs.	ALENEX	2002	DBLP DOI BibTeX RDF
2	Jung Gyu Park, Myong-Soon Park	Automatic Specialization of Java Programs in the Distributed Environment.	ICOIN	2002	DBLP DOI BibTeX RDF
2	Shinji Kusumoto, Masahiro Imagawa, Katsuro Inoue, Shuuma Morimoto, Kouji Matsusita, Michio Tsuda	Function point measurement from Java programs.	ICSE	2002	DBLP DOI BibTeX RDF	Java
2	Jane Horgan, James F. Power, John Waldron	Measurement and Analysis of Runtime Profiling Data for Java Programs.	SCAM	2001	DBLP DOI BibTeX RDF	Bytecode Analysis, Contingency Measure, Java Virtual Machine
2	Yusuka Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng	A Run-Time Deadlock Detector for Concurrent Java Programs.	APSEC	2001	DBLP DOI BibTeX RDF
2	Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll	Formal Techniques for Java Programs.	ECOOP Workshops	2001	DBLP DOI BibTeX RDF
2	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser	Finding Feasible Counter-examples when Model Checking Abstracted Java Programs.	TACAS	2001	DBLP DOI BibTeX RDF
2	Darko Marinov, Sarfraz Khurshid	TestEra: A Novel Framework for Automated Testing of Java Programs.	ASE	2001	DBLP DOI BibTeX RDF
2	Eran Yahav	Verifying safety properties of concurrent Java programs using 3-valued logic.	POPL	2001	DBLP DOI BibTeX RDF	Java
2	Katharina Mehner	JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs.	Software Visualization	2001	DBLP DOI BibTeX RDF
2	Holger Eichelberger, Jürgen Wolff von Gudenberg	On the Visualization of Java Programs.	Software Visualization	2001	DBLP DOI BibTeX RDF
2	S. Ryu, K. Yi	Exception Analysis for Multithreaded Java Programs.	APAQS	2001	DBLP DOI BibTeX RDF
2	Scott D. Stoller, Yanhong A. Liu	Transformations for Model Checking Distributed Java Programs.	SPIN	2001	DBLP DOI BibTeX RDF
2	Margaret-Anne D. Storey, Casey Best, Jeff Michaud	SHriMP Views: An Interactive Environment for Exploring Java Programs. (PDF / PS)	IWPC	2001	DBLP DOI BibTeX RDF
2	Jeff Michaud, Margaret-Anne D. Storey, Hausi A. Müller	Integrating Information Sources for Visualizing Java Programs. (PDF / PS)	ICSM	2001	DBLP DOI BibTeX RDF	Java, visualization, integration, control, tools, presentation, data
2	Jung Gyu Park, Arthur H. Lee	Removing Reflection from Java Programs Using Partial Evaluation.	Reflection	2001	DBLP DOI BibTeX RDF
2	Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi	Distinctness and Sharing Domains for Static Analysis of Java Programs.	ECOOP	2001	DBLP DOI BibTeX RDF	Static Analysis, Abstract Interpretation, Program Specialization, Type Analysis
2	Radu Teodorescu, Raju Pandey	Using JIT Compilation and Configurable Runtime Systems for Efficient Deployment of Java Programs on Ubiquitous Devices.	Ubicomp	2001	DBLP DOI BibTeX RDF