Search Results - Java PathFinder 2

Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks by Ngui, J., Strooper, P., Wildman, L., Wojcicki, M.

“… In this paper, we evaluate the cost-effectiveness of the Java PathFinder 2 (JPF 2) model checker for the detection of deadlocks in the context of the TestCon method…”
Get full text

Model checking JAVA programs using JAVA PathFinder by Havelund, Klaus, Pressburger, Thomas

Get full text

Radiometric Signatures of Gold Mineralization Zone in Pongkor, West Java, Indonesia: A Baseline for Radiometric Mapping Application on Low-Sulfidation Epithermal Deposit by Syaeful, Heri, Ciputra, Roni Cahya, Adimedha, Tyto Baskara, Sumaryanto, Agus, Sukadana, I Gde, Indrastomo, Frederikus Dian, Pratiwi, Fadiah, Sucipta, Sucipta, Pratama, Hendra Adhi, Mustika, Deni, Widana, Kurnia Setiawan, Widodo, Susilo, Burhannudinnur, Muhammad, Syafri, Ildrem, Sutopo, Bronto

“…Radiometric mapping could play a prominent role in locating the host rock or alteration that leads to gold mineralization. Nevertheless, in low-sulfidation…”
Get full text

Smart Contract in the Loop: Fault Impact Assessment for Distributed Ledger Technologies by Péter, Bertalan Zoltán, Ádám, Zsófia, Micskei, Zoltán, Kocsis, Imre

“… This is especially true in the case of the extensively used Hyperledger Fabric (HLF) platform, where smart contracts are written in general-purpose languages (Java, among others…”
Get full text

Dynamic Pathfinders by Hunter, Ben

“…Library pathfinders are a time-tested method of leading library users to important resources…”
Get full text

A Comprehensive Feature-Oriented Traceability Model for Software Product Line Development by Liwei Shen, Xin Peng, Wenyun Zhao

“…Feature-oriented traceability is essential for efficient Software Product Line (SPL) development, including product derivation and SPL evolution. Widely-used…”
Get full text

Supporting Domain-Specific Programming in Web 2.0: A Case Study of Smart Devices by Ahmadi, Navid, Lelli, Francesco, Jazayeri, Mehdi

“…Web 2.0 communities emerge regularly with the growing need for domain-specific programming over Web APIs. Even though Web mashups provide access to Web APIs,…”
Get full text

Dynamic Pathfinders: Leveraging Your OPAC to Create Resource Guides by Hunter, Ben

“…Library pathfinders are a time-tested method of leading library users to important resources…”
Get full text

The Mars Pathfinder mission Internet-based WITS rover planning and simulation system by Backes, P.G., Tso, K.S., Tharp, G.K.

“…The Web Interface for Telescience (WITS) is an Internet-based tool that the Mars Pathfinder mission used for both mission operations at JPL and public outreach…”
Get full text

Model Checking Programs by Visser, Willem, Havelund, Klaus, Brat, Guillaume, Park, SeungJoon, Lerda, Flavio

“… in modern programming languages. In keeping with this philosophy we have developed a verification and testing environment for Java, called Java PathFinder (JPF…”
Get full text

Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems by Moffett, Y., Dingel, J., Beaulieu, A.

“… In this paper, we consider this problem in the context of the model-driven development (MDD) of embedded systems based on UML 2, in which UML 2 state machines are used to specify component behavior…”
Get full text

BioMiner—modeling, analyzing, and visualizing biochemical pathways and networks by Šırava, M., Schäfer, T., Eiglsperger, M., Kaufmann, M., Kohlbacher, O., Bornberg-Bauer, E., Lenhof, H. P.

“…—which can be used to model biochemical pathways and networks. As a first application we present PathFinder, a new tool predicting biochemical pathways by comparing groups of related organisms based on sequence similarity…”
Get full text

Pathfinder: Online Textbook With Randomly Generated Assignments, With Potential For Online Cooperative Creation by Everett, Jess

“… It is written in html, asp.net 2, C#, JavaScript, xml, and mathML. Content is stored modularly in txt and xml files…”
Get full text

Improving the scalability of directed model checking of concurrent java code through hybrid and distributed analysis by Milewicz, Reed Morgan

“…Since the widespread adoption of multi-core architectures at the turn of the millennium, parallel and concurrent programming paradigms, such as multi-threaded…”
Get full text

Verification of Android Applications by Van Der Merwe, Heila

“… We develop an extension to Java Path Finder (JPF) called JPF-Android to verify Android applications outside of the Android platform…”
Get full text

Where has my battery gone? Finding sensor related energy black holes in smartphone applications by Yepang Liu, Chang Xu, Cheung, S. C.

“…Smartphone applications have millions of users. Their energy efficiency is very important. However, we investigated 174 Android applications and found 33 of…”
Get full text

Fujitsu Accelerates Exhaustive Verification of Java Software Through Parallel Processing

“… Java PathFinder, a verification tool developed by the National Aeronautics and Space Administration…”
Get full text

Seasonal and interannual patterns of sea surface temperature in Banda Sea as revealed by self-organizing map by Iskandar, Iskhaq

“… A neural network pattern recognition approach based on self-organizing map (SOM) has been applied to monthly SST from the Advanced Very High Resolution Radiometer (AVHRR) Oceans Pathfinder…”
Get full text

Fujitsu Develops Software Verification Technology for Practical-use Web Applications

“… and Fujitsu Laboratories of America, Inc. announced today their joint development of the world's first core technology for automatic verification of Java-based practical-use web applications…”
Get full text

SPOT: Testing Stream Processing Programs with Symbolic Execution and Stream Synthesizing by Ye, Qian, Lu, Minyan

“…Adoption of distributed stream processing (DSP) systems such as Apache Flink in real-time big data processing is increasing. However, DSP programs are prone to…”
Get full text