Search results for "application programs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan	A Model of Component-Based Programming.	FSEN	2007	DBLP DOI BibTeX RDF	Glue Codes, Protocols, Components, Composition, Refinement, Contracts, Application Programs
2	W. K. Chan, S. C. Cheung, T. H. Tse	Fault-Based Testing of Database Application Programs with Conceptual Data Model.	QSIC	2005	DBLP DOI BibTeX RDF	database application testing, semantic mutants, fault-based testing
2	Pen-Chung Yew	Is There Exploitable Thread-Level Parallelism in General-Purpose Application Programs?	IPDPS	2003	DBLP DOI BibTeX RDF
2	Berna L. Massingill, Timothy G. Mattson, Beverly A. Sanders	A Pattern Language for Parallel Application Programs (Research Note).	Euro-Par	2000	DBLP DOI BibTeX RDF
2	Myoung Kwon Tcheun, Hyunsoo Yoon, Seung Ryoul Maeng	An adaptive sequential prefetching scheme in shared-memory multiprocessors. (PDF / PS)	ICPP	1997	DBLP DOI BibTeX RDF	adaptive sequential prefetching scheme, hardware controlled scheme, high sequentiality, shared-memory multiprocessors, shared memory systems, application programs, sequentiality, memory accesses
2	Sandrine Blazy, Philippe Facon	Application of Formal Methods to the Development of a Software Maintenance Tool. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	software maintenance tool, scientific application program understanding, Fortran 90 application programs, interprocedural pointer analysis, global definitions, generic programming environment, variable values, already-analysed procedures, variable scope, removed statements, formal specification, information visualization, formal methods, compilation, software maintenance, partial evaluation, inference rules, graphical interface, alias analysis, optimization technique, set operators, relational operators
2	Hiroaki Higaki	Extended group communication algorithm for updating distributed programs. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	extended group communication algorithm, distributed programs updating, protocol errors, distributed application programs, protocols, distributed processing, concurrency control, deadlocks, user requirements, dynamic updating
2	Sandrine Blazy, Philippe Facon	Interprocedural analysis for program comprehension by specialization. (PDF / PS)	WPC	1996	DBLP DOI BibTeX RDF	partial evaluation (compilers), visibility rules, reverse engineering, software maintenance, software maintenance, software tools, software tool, FORTRAN, Fortran, program comprehension, program compilers, partial evaluation, specialization, program diagnostics, interprocedural analysis, application programs
2	Chooi-Tian Lee, Jack W. Harris	Designing a Virtual Access Control Configuration Protocol for Implementation over ISDN and Shared-Media Networks. (PDF / PS)	LCN	1996	DBLP DOI BibTeX RDF	virtual access control configuration protocol, shared-media networks, corporate environment, trade-secret information protection, secure network, secure communication environment, encryption mechanisms, user password authentication, user-interface based access control, network interface based access control, authentication security mechanisms, virtual dedicated-media network system, dynamic security access authorization, token-based access security control, dedicated-media communication, network session-layer protocol, operating systems, WAN, LAN, application programs, ISDN, ISDN, security program
2	Francesco Gregoretti, F. Intini, Luciano Lavagno, Roberto Passerone, Leonardo Maria Reyneri	Design and Implementation of the Control Structure of the PAPRICA-3 Processor.	PDP	1996	DBLP DOI BibTeX RDF	PAPRICA-3 processor, instruction execution, linear array processor PAPRICA-9, multi path queue structure, real-time systems, image processing, embedded systems, parallel architectures, image recognition, pipeline processing, array processor, pipeline architecture, application programs, real time image processing, control structure, image processing equipment, algorithmic efficiency
2	Kyeonghoon Koo, Wook Hyun Kwon	Worst-case timing prediction of relay ladder logic by constraint analysis.	RTCSA	1996	DBLP DOI BibTeX RDF	worst-case timing prediction, relay ladder logic, boolean logic equations, logic equations, complexity, logic programming, logic programming, application programs, constraint analysis
2	Jainendra Kumar, Noel R. Strader, Jeff Freeman, Michael Miller	Emulation verification of the Motorola 68060. (PDF / PS)	ICCD	1995	DBLP DOI BibTeX RDF	emulation verification, Motorola 68060, hardware logic emulation, configurable hardware, circuit verification, pseudo-random verification vectors, software application programs, formal verification, microprocessors, reconfigurable architectures, logic CAD, digital simulation, circuit analysis computing, RTL, hardware description languages, hardware description language, microprocessor chips, HDL, gate-level
2	Hiroshi Koide	The generated order preserving real-time garbage collection.	RTCSA	1995	DBLP DOI BibTeX RDF	generated order preserving real-time garbage collection, real-time systems, computational complexity, complexity, programming languages, programming languages, storage management, real-time processing, application programs, real-time garbage collection, object creation
2	Kazunori Takashio, Hidehisa Shitomi, Mario Tokoro	Constructing distributed real-time systems with DROL real-time objects.	RTCSA	1995	DBLP DOI BibTeX RDF	DROL real-time objects, inter-object communication protocols, distributed real-time programming language, least suffering, network faults, rapid recovery, widely distributed environments, real-time programming languages, real-time systems, protocols, semantics, C++, distributed processing, programming languages, timing constraint, distributed real-time systems, application programs
2	Manish Gupta, Prithviraj Banerjee	Demonstration of Automatic Data Partitioning Techniques for Parallelizing Compilers on Multicomputers.	IEEE Trans. Parallel Distrib. Syst.	1992	DBLP DOI BibTeX RDF	automatic data partitioning, datadistribution, Eispack libraries, PerfectBenchmarks, scientific application programs, parallel programming, data structures, data structures, constraints, program compilers, parallelizing compilers, multicomputers, Linpack, Fortran programs
2	Ian T. Foster	Automatic Generation of Self-Scheduling Programs.	IEEE Trans. Parallel Distrib. Syst.	1991	DBLP DOI BibTeX RDF	self-scheduling programs, high-level concurrent language, data dependency information, control statements, self-scheduling compiler, application code, control statements, scheduling routines, scheduling, parallel programs, parallel programming, partitioning, automatic programming, high-level language, application programs, application generators, automatic generation, control structures, source-to-source transformation
2	Eran Gabber	VMMP: A Practical Tool for the Development of Portable and Efficient Programs for Multiprocessors.	IEEE Trans. Parallel Distrib. Syst.	1990	DBLP DOI BibTeX RDF	VMMP, practical tool, portable and efficient programs, parallel application programs, message passing multiprocessors, VROMP, parallel algorithms, synchronization, virtual machine, software tools, shared memory, multiprocessing systems, coding, software portability, software package
2	Pohua P. Chang, Wen-mei W. Hwu	Trace selection for compiling large C application programs to microcode.	MICRO	1988	DBLP DOI BibTeX RDF	C
2	Stanley Y. W. Su, Herman Lam, Der Her Lo	Transformation of Data Traversals and Operations in Application Programs to Account for Semantic Changes of Databases.	ACM Trans. Database Syst.	1981	DBLP DOI BibTeX RDF	application program conversion, database changes, access pattern, semantic data model, transformation rules
2	Henry Merryweather	Two application programs which link design and manufacture.	AFIPS National Computer Conference	1975	DBLP DOI BibTeX RDF
2	Isao Miyamoto	Data reference characteristics of database application programs.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
1	Lei Wang 0004, Huimin Cui, Yuelu Duan, Fang Lu, Xiaobing Feng 0002, Pen-Chung Yew	An adaptive task creation strategy for work-stealing scheduling.	CGO	2010	DBLP DOI BibTeX RDF	task granularity, adaptive, work-stealing, backtracking search
1	James H. Andrews, Fatima Hussain	Johar: a framework for developing accessible applications.	ASSETS	2009	DBLP DOI BibTeX RDF	accessible computing, application programs
1	Akira Yamawaki, Masahiko Iwane	An intermediate hardware model with load/store unit for C to FPGA.	FPGA	2009	DBLP DOI BibTeX RDF	fpga., memory, design method, buffering
1	Jörg Dümmler, Thomas Rauber, Gudula Rünger	Scalable computing with parallel tasks.	SC-MTAGS	2009	DBLP DOI BibTeX RDF
1	Mingsong Lv, Nan Guan, Yi Zhang, Rui Chen, Qingxu Deng, Ge Yu, Wang Yi	WCET Analysis of the mC/OS-II Real-Time Kernel.	CSE	2009	DBLP DOI BibTeX RDF
1	Kaikun Dong, Yang Liu, Li Guo, Mingzeng Hu	An Array Computer for Low-and Intermediate-Level Image Processing.	NAS	2009	DBLP DOI BibTeX RDF
1	Claude Kaiser, Jean-François Pradat-Peyre	Weak Fairness Semantic Drawbacks in Java Multithreading.	Ada-Europe	2009	DBLP DOI BibTeX RDF
1	Andreas Harth	VisiNav: Visual Web Data Search and Navigation.	DEXA	2009	DBLP DOI BibTeX RDF
1	Hans-Christian Schmitz, Maren Scheffel, Martin Friedrich, Marco Jahn, Katja Niemann, Martin Wolpers	CAMera for PLE.	EC-TEL	2009	DBLP DOI BibTeX RDF	usage metadata, learning reflection, Zeitgeist, social networks, monitoring, personalized learning environments, self-regulated learning
1	Tsuyoshi Miyazaki, Takayuki Suzuki, Fujio Yamamoto	Investigating the Run Time Behavior of Distributed Applications by Using Tiny Java Virtual Machines with Wireless Communications.	HCI	2009	DBLP DOI BibTeX RDF	Software Education, Distributed Computing, Physical Computing
1	Steven A. Shafer	A Framework for Creating and Using Maps of Privately Owned Spaces.	LoCA	2009	DBLP DOI BibTeX RDF	Indoor maps, Location-Awareness, Floorplans, Indoor location
1	Michael Franz	Eliminating Trust From Application Programs By Way Of Software Architecture.	Software Engineering	2008	DBLP BibTeX RDF
1	Kouhei Sakurai, Hidehiko Masuhara	Test-based pointcuts for robust and fine-grained join point specification.	AOSD	2008	DBLP DOI BibTeX RDF	aspect-oriented programming language, fragile pointcut problem, test-based pointcuts, unit test cases
1	Taylan Yemliha, Shekhar Srikantaiah, Mahmut T. Kandemir, Ozcan Ozturk	SPM management using Markov chain based data access prediction.	ICCAD	2008	DBLP DOI BibTeX RDF
1	Abdulmalik Al-Gahmi, Jonathan E. Cook	Towards a service-based middleware layer for runtime environments.	SAC	2008	DBLP DOI BibTeX RDF	dynamic linker, service-based architecture, middleware, runtime environments
1	Ross Shaull, Liuba Shrira, Hao Xu	Skippy: a new snapshot indexing method for time travel in the storage manager.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	database, versions, snapshots, time travel
1	Michael Philetus Weller, Ellen Yi-Luen Do, Mark D. Gross	Posey: instrumenting a poseable hub and strut construction toy.	Tangible and Embedded Interaction	2008	DBLP DOI BibTeX RDF	poseable, tangible, toys, construction kits
1	Mohammad Alomari, Michael J. Cahill, Alan Fekete, Uwe Röhm	When serializability comes without cost.	AICCSA	2008	DBLP DOI BibTeX RDF
1	Jianwei Dong, Shi Zhang, Xiaonan Jia	A Portable Intelligent ECG Monitor Based on Wireless Internet and Embedded System Technology.	BMEI	2008	DBLP DOI BibTeX RDF	ECG interpretation, ASIC, RTOS, ECG monitor
1	George Papastefanatos, Fotini Anagnostou, Yannis Vassiliou, Panos Vassiliadis	Hecataeus: A What-If Analysis Tool for Database Schema Evolution.	CSMR	2008	DBLP DOI BibTeX RDF
1	Mohammad Alomari, Michael J. Cahill, Alan Fekete, Uwe Röhm	The Cost of Serializability on Platforms That Use Snapshot Isolation.	ICDE	2008	DBLP DOI BibTeX RDF
1	Jörg Dümmler, Thomas Rauber, Gudula Rünger	Mapping Algorithms for Multiprocessor Tasks on Multi-Core Clusters.	ICPP	2008	DBLP DOI BibTeX RDF
1	Gudula Rünger, Michael Schwind	Cache optimization for mixed regular and irregular computations.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Firat Kart, Louise E. Moser, P. Michael Melliar-Smith	Collaborative Computing Using the Atom Publishing Protocol.	ITNG	2008	DBLP DOI BibTeX RDF	Event-Based Distributed Computing, Atom/RSS, XML, Interoperability, Collaborative Computing
1	Haruya Miyajima, Liang Zhang, Hideki Hayashi, Teruya Fujii	An implementation of enhanced all-SIP mobility.	PIMRC	2008	DBLP DOI BibTeX RDF
1	Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty	Schedulability Analysis of MSC-based System Models.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	Message Sequence Charts / Graphs, Schedulability analysis
1	Seok-Won Seong, Prabhat Mishra	Bitmask-Based Code Compression for Embedded Systems.	IEEE Trans. on CAD of Integrated Circuits and Systems	2008	DBLP DOI BibTeX RDF
1	Nikolaos Kavvadias, Spiridon Nikolaidis	Elimination of Overhead Operations in Complex Loop Structures for Embedded Microprocessors.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Optimization, Microprocessors, Hardware description languages, Real-time and embedded systems, Pipeline processors, Control design
1	Aoun Raza, Gunther Vogel	RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs.	Ada-Europe	2008	DBLP DOI BibTeX RDF
1	Mohammad Alomari, Michael J. Cahill, Alan Fekete, Uwe Röhm	Serializable Executions with Snapshot Isolation: Modifying Application Code or Mixing Isolation Levels?	DASFAA	2008	DBLP DOI BibTeX RDF
1	Rainer Schmidt, Tina Waligora, Olga Vorobieva	Prototypes for Medical Case-Based Applications.	ICDM	2008	DBLP DOI BibTeX RDF
1	Eun-ser Lee, Sang Ho Lee	Design of the Architecture for Agent of the Personality Security in the Ubiquitous Environment.	KES-AMSTA	2008	DBLP DOI BibTeX RDF
1	Dongsoo Kang, Chen Liu, Jean-Luc Gaudiot	The Impact of Speculative Execution on SMT Processors.	International Journal of Parallel Programming	2008	DBLP DOI BibTeX RDF	Speculation control, Simultaneous multithreading, Thread scheduling, Confidence estimator
1	Dejiang Jin, Sotirios G. Ziavras	Robust scalability analysis and SPM case studies.	The Journal of Supercomputing	2008	DBLP DOI BibTeX RDF	Parallel processing, Distributed processing, Heterogeneous cluster, Scalability analysis
1	Chao-Tung Yang, Wen-Chung Shih, Shian-Shyong Tseng	Dynamic partitioning of loop iterations on heterogeneous PC clusters.	The Journal of Supercomputing	2008	DBLP DOI BibTeX RDF	MPI programming, Cluster computing, Heterogeneous, PC clusters, Parallel loops, Self-scheduling
1	Rainer Schmidt, Tina Waligora, Olga Vorobieva	Prototypes and Case-Based Reasoning for Medical Applications.	Case-Based Reasoning on Images and Signals	2008	DBLP DOI BibTeX RDF
1	Jean-Luc Hainaut, Anthony Cleve, Jean Henrard, Jean-Marc Hick	Migration of Legacy Information Systems.	Software Evolution	2008	DBLP DOI BibTeX RDF
1	David C. Snowdon, Stefan M. Petters, Gernot Heiser	Accurate on-line prediction of processor and memoryenergy usage under voltage scaling.	EMSOFT	2007	DBLP DOI BibTeX RDF	PMC, power, energy, DVS, DVFS, performance counter
1	Perry H. Wang, Jamison D. Collins, Gautham N. Chinya, Bernard Lint, Asit Mallick, Koichi Yamada, Hong Wang 0003	Sequencer virtualization.	ICS	2007	DBLP DOI BibTeX RDF	virtualization, multi-cores, MIMD
1	Tejas Karkhanis, James E. Smith	Automated design of application specific superscalar processors: an analytical approach.	ISCA	2007	DBLP DOI BibTeX RDF	performance model, analytical model, design optimization, energy model, application specific processors
1	Sebastien Marion, Richard E. Jones, Chris Ryder	Decrypting the Java gene pool.	ISMM	2007	DBLP DOI BibTeX RDF	micro-patterns, pretenuring, Java, garbage collection
1	Barton P. Miller, Gregory Cooksey, Fredrick Moore	An empirical study of the robustness of MacOS applications using random testing.	Operating Systems Review	2007	DBLP DOI BibTeX RDF	random testing, fuzz
1	Youhei Tanaka, Naohiro Hayashibara, Tomoya Enokido, Makoto Takizawa	Fault Detection and Recovery in a Transactional Agent Model.	AINA	2007	DBLP DOI BibTeX RDF
1	Daniel Görgen, Hannes Frey, Christian Hiedels	JANE - The Java Ad Hoc Network Development Environment.	Annual Simulation Symposium	2007	DBLP DOI BibTeX RDF
1	Seungjae Lee, Changhwa Kim, Sangkyung Kim	A Proposal of New Join Operators for Sensor Network Databases.	DSD	2007	DBLP DOI BibTeX RDF
1	Hideo Miyachi, Takehiro Matsuo, Yoshitaka Ohyoshi, Taiki Tanimae	Network OpenGL Fusion to Make Effective Presentation System.	eScience	2007	DBLP DOI BibTeX RDF
1	Dae-Sik Ko	A Design of X-internet Development Framework Based on Server Service Application Programming Interface.	FGCN	2007	DBLP DOI BibTeX RDF	Web application, Client/server, Development framework, traffic load
1	Jens-Peter Dittrich, Cristian Duda, Bjorn Jarisch, Donald Kossmann, Marcos Antonio Vaz Salles	Bringing Precision to Desktop Search: A Predicate-based Desktop Search Architecture.	ICDE	2007	DBLP DOI BibTeX RDF
1	Jean Henrard, Didier Roland, Anthony Cleve, Jean-Luc Hainaut	An Industrial Experience Report on Legacy Data-Intensive System Migration.	ICSM	2007	DBLP DOI BibTeX RDF
1	Takao Okubo, Hidehiko Tanaka	Secure Software Development through Coding Conventions and Frameworks.	ARES	2007	DBLP DOI BibTeX RDF
1	Seungjae Lee, Changhwa Kim, Sangkyung Kim	New Join Operator Definitions and Implementation Methods for Sensor Networks.	CIT	2007	DBLP DOI BibTeX RDF
1	Alexey Smirnov, Tzi-cker Chiueh	Automatic Patch Generation for Buffer Overflow Attacks.	IAS	2007	DBLP DOI BibTeX RDF
1	Alban Douillet, Guang R. Gao	Software-Pipelining on Multi-Core Architectures.	PACT	2007	DBLP DOI BibTeX RDF
1	Elisa Bertino, Ashish Kamra, James P. Early	Profiling Database Application to Detect SQL Injection Attacks.	IPCCC	2007	DBLP DOI BibTeX RDF
1	Cristian Grecu, André Ivanov, Partha Pratim Pande, Axel Jantsch, Erno Salminen, Ümit Y. Ogras, Radu Marculescu	Towards Open Network-on-Chip Benchmarks.	NOCS	2007	DBLP DOI BibTeX RDF	performance evaluation, metrics, benchmarks, networks-on-chip
1	Tasuku Ishigooka, Takanori Yokoyama	A Time-Triggered Distributed Object Computing Environment for Embedded Control Systems.	RTCSA	2007	DBLP DOI BibTeX RDF
1	Miao Liu, Zili Shao, Meng Wang, Hongxing Wei, Tianmiao Wang	Implementing Hybrid Operating Systems with Two-Level Hardware Interrupts.	RTSS	2007	DBLP DOI BibTeX RDF
1	Seungjae Lee, Changhwa Kim, Sangkyung Kim	New Database Operators for Sensor Networks.	SERA	2007	DBLP DOI BibTeX RDF
1	Michael Franz	Containing the Ultimate Trojan Horse.	IEEE Security & Privacy	2007	DBLP DOI BibTeX RDF
1	Wesley Chou	Cybersecurity Costs: Balancing Blanket Security with Real-World Practicality.	IT Professional	2007	DBLP DOI BibTeX RDF
1	Diomidis Spinellis	I Spy.	IEEE Software	2007	DBLP DOI BibTeX RDF	performance, measurement, analysis, tracing, instrumentation
1	Diomidis Spinellis	The Tools We Use.	IEEE Software	2007	DBLP DOI BibTeX RDF	build-process, abstraction, programming language, domain-specific language, declarative language, executable UML
1	Arndt Bode	Scalability for Petaflops systems.	APPT	2007	DBLP DOI BibTeX RDF
1	Catalin Dumitrescu, Jan Dünnweber, Philipp Lüdeking, Sergei Gorlatch, Ioan Raicu, Ian T. Foster	Simplifying Grid Application Programming Using Web-Enabled Code Transfer Tools.	CoreGRID	2007	DBLP DOI BibTeX RDF
1	Andreas Bühmann, Theo Härder	Making the Most of Cache Groups.	DASFAA	2007	DBLP DOI BibTeX RDF
1	Seungjae Lee, Changhwa Kim, Sangkyung Kim	A New Virtual Select Database Operation for Wireless Sensor Networks.	EUC Workshops	2007	DBLP DOI BibTeX RDF	select operation, communication energy, wireless sensor network, database
1	Xianhua Liu, Jiyu Zhang, Xu Cheng	NISD: A Framework for Automatic Narrow Instruction Set Design.	ICESS	2007	DBLP DOI BibTeX RDF	dual-width instruction set, narrow instruction set design, automatic instruction set design
1	Eun-ser Lee, Haeng-Kon Kim, Sang Ho Lee	Design of the Intelligence User Identification Method for the Improved Password Input Method and the Personality Security.	KES	2007	DBLP DOI BibTeX RDF
1	Marek Tudruj, Damian Kopanski, Janusz Borkowski	Dynamic Control of Grid Workflows through Activities Global State Monitoring.	PPAM	2007	DBLP DOI BibTeX RDF
1	Youhei Tanaka, Naohiro Hayashibara, Tomoya Enokido, Makoto Takizawa	A mobile agent model for fault-tolerant manipulation on distributed objects.	Cluster Computing	2007	DBLP DOI BibTeX RDF	Mobile agent model, Fault-tolerant, Distributed transaction
1	Seung Woo Son, Mahmut T. Kandemir	A Prefetching Algorithm for Multi-speed Disks.	T. HiPEAC	2007	DBLP DOI BibTeX RDF
1	Jeffrey M. Arnold	The Architecture and Development Flow of the S5 Software Configurable Processor.	VLSI Signal Processing	2007	DBLP DOI BibTeX RDF	software configurable processor, reconfigurable architectures, embedded computing, instruction set extension
1	Mendel Rosenblum	Impact of virtualization on computer architecture and operating systems.	ASPLOS	2006	DBLP DOI BibTeX RDF
1	Seung Woo Son, Mahmut T. Kandemir	Energy-aware data prefetching for multi-speed disks.	Conf. Computing Frontiers	2006	DBLP DOI BibTeX RDF	multi-speed disks, low power, prefetching, optimizing compiler
1	Wonbok Lee, Kimish Patel, Massoud Pedram	B2Sim: : a fast micro-architecture simulator based on basic block characterization.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	basic block, micro-architecture simulation, program behavior
1	Youngjin Cho, Naehyuck Chang, Chaitali Chakrabarti, Sarma B. K. Vrudhula	High-level power management of embedded systems with application-specific energy cost functions.	DAC	2006	DBLP DOI BibTeX RDF	algorithms
1	Seok-Won Seong, Prabhat Mishra	A bitmask-based code compression technique for embedded systems.	ICCAD	2006	DBLP DOI BibTeX RDF
1	Shinya Kawanaka, Haruo Hosoya	biXid: a bidirectional transformation language for XML.	ICFP	2006	DBLP DOI BibTeX RDF	XML, tree automata
1	Barton P. Miller, Gregory Cooksey, Fredrick Moore	An empirical study of the robustness of MacOS applications using random testing.	Random Testing	2006	DBLP DOI BibTeX RDF	random testing, fuzz