skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Automated test generation for REST APIs: no time to rest yet
Award ID(s):
2107125
PAR ID:
10389431
Author(s) / Creator(s):
; ; ;
Date Published:
Journal Name:
Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022)
Page Range / eLocation ID:
289 to 301
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. This paper explores the analysis and design of the resting configurations of a rigid body, without the use of physical simulation. In particular, given a rigid body inR3, we identify all possible stationary points, as well as the probability that the body will stop at these points, assuming a random initial orientation and negligible momentum. The forward version of our method can hence be used to automatically orient models, to provide feedback about object stability during the design process, and to furnish plausible distributions of shape orientation for natural scene modeling. Moreover, a differentiable inverse version of our method lets us design shapes with target resting behavior, such as dice with target, nonuniform probabilities. Here we find solutions that would be nearly impossible to find using classical techniques, such as dice with additional unstable faces that provide more natural overall geometry. From a technical point of view, our key observation is that rolling equilibria can be extracted from theMorse-Smale complexof thesupport functionover the Gauss map. Our method is hence purely geometric, and does not make use of random sampling, or numerical time integration. Yet surprisingly, this purely geometric model makes extremely accurate predictions of rest behavior, which we validate both numerically, and via physical experiments. Moreover, for computing rest statistics, it is orders of magnitude faster than state of the art rigid body simulation, opening the door to inverse design—rather than just forward analysis. 
    more » « less
  2. Introduction: RE1-silencing transcription factor (REST) silences neuronal differentiation genes. Its overexpression in an aggressive subset of gliomas is believed to support the enhanced tumor-initiating and self-renewal capacities of glioblastoma cancer stem cells (GSCs). Therefore, REST knockdown is hypothesized to inhibit tumor growth and recurrence. Because REST, as a large protein, is difficult to target directly with small molecules, our study focuses on knocking down REST by inhibiting one of its regulatory enzymes, small C-terminal domain phosphatase 1 (SCP1). Dephosphorylation of REST by SCP1 protects the former from degradation; consequently, SCP1 inhibition with an experimental drug, T62, is expected to reduce REST protein levels. This REST knockdown is hypothesized to induce the expression of neuronal differentiation genes, thereby forcing differentiation of GSCs and making them more vulnerable to standard treatments. We begin our study by validating patient-derived GSC lines and subsequently testing the efficacy of T62 drug in these cells. Our work supports an effort to understand various molecular pathologies of GBM and its intrinsic GSCs in order to develop novel therapeutic strategies. 
    more » « less
  3. Statistical modeling and interpolation of space–time processes has gained increasing relevance over the last few years. However, real world data often exhibit characteristics that challenge conventional methods such as nonstationarity and temporal misalignment. For example, high frequency solar irradiance data are typically observed at fine temporal scales, but at sparse spatial sampling, so space–time interpolation is necessary to support solar energy studies. The nonstationarity and phase misalignment of such data challenges extant approaches. We propose random elastic space–time (REST) prediction, a novel method that addresses temporally-varying phase misalignment by combining elastic alignment and conventional kriging techniques. Moreover, uncertainty in both amplitude and phase alignment can be readily quantified in a conditional simulation framework, whereas conventional space–time methods only address am- plitude uncertainty. We illustrate our approach on a challenging solar irradiance dataset, where our method demonstrates superior predictive distributions compared to existing geostatistical and functional data analytic techniques. 
    more » « less