MUSCLE: multiple sequence alignment with improved accuracy and speed
RC Edgar - Proceedings. 2004 IEEE Computational Systems …, 2004 - ieeexplore.ieee.org
We present MUSCLE, a new program for creating multiple alignments of protein sequences.
MUSCLE achieves the highest scores so far reported on four alignment benchmarks …
MUSCLE achieves the highest scores so far reported on four alignment benchmarks …
Tests from witnesses: Execution-based validation of verification results
D Beyer, M Dangl, T Lemberger… - … Conference on Tests and …, 2018 - Springer
The research community made enormous progress in the past years in develo**
algorithms for verifying software, as shown by international competitions. Unfortunately, the …
algorithms for verifying software, as shown by international competitions. Unfortunately, the …
Program comprehension through reverse‐engineered sequence diagrams: A systematic review
TA Ghaleb, MA Alturki, K Aljasser - Journal of Software …, 2018 - Wiley Online Library
Reverse engineering of sequence diagrams refers to the process of extracting meaningful
information about the behavior of software systems in the form of appropriately generated …
information about the behavior of software systems in the form of appropriately generated …
MetaVal: Witness validation via verification
D Beyer, M Spiessl - International Conference on Computer Aided …, 2020 - Springer
Witness validation is an important technique to increase trust in verification results, by
making descriptions of error paths (violation witnesses) and important parts of the …
making descriptions of error paths (violation witnesses) and important parts of the …
Finding race conditions in Erlang with QuickCheck and PULSE
K Claessen, M Palka, N Smallbone, J Hughes… - ACM Sigplan …, 2009 - dl.acm.org
We address the problem of testing and debugging concurrent, distributed Erlang
applications. In concurrent programs, race conditions are a common class of bugs and are …
applications. In concurrent programs, race conditions are a common class of bugs and are …
Understanding complex multithreaded software systems by using trace visualization
Understanding multithreaded software systems is typically a tedious task: Due to parallel
execution and interactions between multiple threads, such a system's runtime behavior is …
execution and interactions between multiple threads, such a system's runtime behavior is …
An interview study about the use of logs in embedded software engineering
N Yang, P Cuijpers, D Hendriks, R Schiffelers… - Empirical Software …, 2023 - Springer
Context Execution logs capture the run-time behavior of software systems. To assist
developers in their maintenance tasks, many studies have proposed tools to analyze …
developers in their maintenance tasks, many studies have proposed tools to analyze …
Synchrovis: 3d visualization of monitoring traces in the city metaphor for analyzing concurrency
The increasing code complexity in modern software systems exceeds the capabilities of
most software engineers to understand the system's behavior by just looking at its program …
most software engineers to understand the system's behavior by just looking at its program …
System implications of information privacy
HE Petersen, R Turn - Proceedings of the April 18-20, 1967, spring joint …, 1967 - dl.acm.org
Recent advances in computer time-sharing technology promise information systems which
will permit simultaneous on-line access to many users at remotely located terminals. In such …
will permit simultaneous on-line access to many users at remotely located terminals. In such …
Verification witnesses
D Beyer, M Dangl, D Dietsch, M Heizmann… - ACM Transactions on …, 2022 - dl.acm.org
Over the last years, witness-based validation of verification results has become an
established practice in software verification: An independent validator re-establishes …
established practice in software verification: An independent validator re-establishes …