A technology for automatically assembling large software libraries which promote reuse by helping the user locate components closest to her/his needs is described. Software are assembled from a set of unorganized using information retrieval techniques. The construction library done in two steps. First, attributes extracted natural language documentation an indexing scheme based on notions lexical affinities and quantity information. Then hierarchy browsing generated clustering technique...

Most reports of Internet collaboration refer to small scale operations among a few authors or designers. However, several projects have shown that the can also be locus for large collaboration. In these projects, contributors from around world combine their individual forces and develop product rivals those multibillion dollar corporations. The Apache HTTP Server Project is case in point. This collaborative software development effort has created robust, feature-rich server package currently...

Web pages often contain clutter (such as pop-up ads, unnecessary images and extraneous links) around the body of an article that distracts a user from actual content. Extraction "useful relevant" content web has many applications, including cell phone PDA browsing, speech rendering for visually impaired, text summarization. Most approaches to removing or making more readable involve changing font size HTML data components such images, which takes away webpage's inherent look feel. Unlike...

An environment is described, called Professor Marvel, that provides early error checking and answers questions about the program under development. The has a certain understanding of systems being developed how to use tools produce software. It aids individual programmers helps coordinate programming teams. key components Marvel are database stores data represented as objects, in object-oriented languages, model development process imposes structure on activities. Marvel's support insight...

Open-ended activities such as CAD/CAM, VLSI layout and software development require consistent concurrent access fault tolerance associated with database transactions, but their uncertain duration, developments during execution long interactions other break traditional transaction atomicity boundaries. We propose splittransaction a new operation that solves the above problems by permitting transactions to commit data will not change. Thus an open-ended activity can release committed...

It is challenging to test machine learning (ML) applications, which are intended learn properties of data sets where the correct answers not already known. In absence a oracle, one approach testing these applications use metamorphic testing, in application exploited define transformation functions on input, such that new output will be unchanged or can easily predicted based original output; if as expected, then defect must exist application. Here, we seek enumerate and classify some...

Self-driving cars and trucks, autonomous vehicles ( <sc xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">av</small> s), should not be accepted by regulatory bodies the public until they have much higher confidence in their safety reliability — which can most practically convincingly achieved testing. But existing testing methods are inadequate for checking end-to-end behaviors of controllers against complex, real-world corner cases involving...

Autonomic computing - self-configuring, self-healing, self-optimizing applications, systems and networks is widely believed to be a promising solution ever-increasing system complexity the spiraling costs of human management as scale global proportions. Most results date, however, suggest ways architect new software constructed from ground up autonomic systems, whereas in real world organizations continue use stovepipe legacy and/or build ''systems systems'' that draw gamut components...

The high cost of operating large computing installations has motivated a broad interest in reducing the need for human intervention by making systems self-managing. This paper explores extent to which control theory can provide an architectural and analytic foundation building self-managing systems. Control provides rich set methodologies automated self-diagnosis self-repairing with properties such as stability, short settling times, accurate regulation. However, there are challenges...

Many applications in the field of scientific computing - such as computational biology, linguistics, and others depend on Machine Learning algorithms to provide important core functionality support solutions particular problem domains. However, it is difficult test because often there no "test oracle" indicate what correct output should be for arbitrary input. To help address quality software, this paper we present a technique testing implementations supervised machine learning...

Testing large software packages can become very time intensive. To address this problem, researchers have investigated techniques such as Test Suite Minimization. Minimization reduces the number of tests in a suite by removing that appear redundant, at risk reduction fault-finding ability since it be difficult to identify which are truly redundant. We take completely different approach solving same problem long running test suites instead reducing needed execute each test, an we call Unit...

Slow builds remain a plague for software developers. The frequency with which code can be built (compiled, tested and packaged) directly impacts the productivity of developers: longer build times mean wait before determining if change to application being was successful. We have discovered that in case some languages, such as Java, majority time is spent running tests, where dependencies between individual tests are complicated discover, making many existing test acceleration techniques...

Most existing pre-trained language models for source code focus on learning the static text, typically augmented with structures (abstract syntax tree, dependency graphs, etc.). However, program semantics will not be fully exposed before real execution. Without an understanding of execution, statically fail to comprehensively capture dynamic properties, such as branch coverage and runtime variable values, they are consequently less effective at tasks, retrieving semantic clones detecting...

The high cost of operating large computing installations has motivated a broad interest in reducing the need for human intervention by making systems self-managing. This paper explores extent to which control theory can provide an architectural and analytic foundation building self-managing systems, either from new components or layering on top existing components. Further, we propose deployable testbed autonomic (DTAC) that believe will reduce barriers addressing key research problems...

We define an architecture for a software engineering environment that behaves as intelligent assistant. Our consists of three key aspects: objectbase, model the development activities, and controlled automation. objectbase is adapted from other research, but our unique in primarily rules preconditions multiple postconditions activities. most significant contribution opportunistic processing, whereby performs activities through This accomplished by forward backward chaining interpretation...

The tool abstraction paradigm, which supports the evolution of large-scale software systems by easing design changes in system functions, is discussed. Systems that support are structured as a pool abstract data structures shared collection cooperating 'toolies', where each toolie provides piece overall function. When one updates data, other toolies must be notified: otherwise, cooperating-but-independent may not execute, and function compromised. KWIC (key word context) index production...

We present a model for decentralized Process Centered Environments (PCEs), which support concerted efforts among geographically-dispersed teams - each local team with its own autonomous process and emphasize flexibility in the tradeoff between collaboration vs. autonomy. consider both modeling enaction. describe realization OZ PCE, employs rule-based formalism, also investigate application to PCEs based on Petri-nets. >

Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is difficult or impossible know what correct output should arbitrary input. In metamorphic testing, existing case input modified produce new cases such manner that, when given input, application an can easily computed based on original output. That is, if x produces f(x), then we create x' predict f(x') f(x); does...

This declarative language takes the best features from three most popular reusability approaches, but overcomes their flaws. It supports independence, component composition, and tailoring.

Dynamic taint analysis is a well-known information flow problem with many possible applications. Taint tracking allows for of application data by assigning labels to data, and then propagating those through flow. systems traditionally compromise among performance, precision, soundness, portability. Performance can be critical, as these are often intended deployed production environments, hence must have low overhead. To in security-conscious settings, also sound precise. portable order...

Data privacy when using online systems like Facebook and Amazon has become an increasingly popular topic in the last few years. However, only a little is known about how users developers perceive which concrete measures would mitigate their concerns. To investigate requirements, we conducted survey with closed open questions collected 408 valid responses. Our results show that often reduce to security, data sharing breaches being biggest Users are more concerned content of documents personal...