1,032,162 Hits in 3.6 sec

FXplorer: Exploration of Computed Software Behavior - A New Approach to Understanding and Verification

Luanne Burns, Timothy Daly
2009 2009 42nd Hawaii International Conference on System Sciences  
This paper describes the emerging technology of function extraction (FX) for computing the functional behavior of programs and how the knowledge of program behavior can be used in user-directed program  ...  In current practice, software developers lack practical means to determine the full functional behavior of programs under development, and even the most thorough testing can provide only partial knowledge  ...  The FX system computes the functional behavior of every control structure in a program, thereby populating its behavior database with comprehensive information about its behavior from low level structures  ... 
doi:10.1109/hicss.2009.228 dblp:conf/hicss/BurnsD09 fatcat:nyvdfpunwfcbtkb5qbyt27dlai

Improving network system security with function extraction technology for automated calculation of program behavior

M.G. Pleszkoch, R.C. Linger
2004 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the  
These foundations treat program control structures as mathematical functions or relations.  ...  The function, or behavior, of control structures can be abstracted in a stepwise process into procedurefree expressions that specify their net functional effects.  ...  Automated function extractors to carry out such behavior calculation will permit help eliminate error-prone human analysis in understanding both intended and unintended functionality of programs.  ... 
doi:10.1109/hicss.2004.1265704 dblp:conf/hicss/PleszkochL04 fatcat:rin5ciwcjzb4lefrwypmtljfdi

Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior

Richard Linger, Mark Pleszkoch, Luanne Burns, Alan Hevner, Gwendolyn Walton
2007 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07)  
This paper discusses an emerging next-generation software engineering research area: function extraction (FX) technology for automated computation to the maximum extent possible of the behavior, correctness  ...  technology, and a discussion of a CERT STAR*Lab first application of FX technology to compute the behavior of code expressed in the Intel assembly language instruction set.  ...  Efforts are also underway to develop stand-alone structuring engines to improve human understanding of program structure and control flow.  ... 
doi:10.1109/hicss.2007.403 dblp:conf/hicss/LingerPBHW07 fatcat:pjwfun5wufbrbf4xwgbtslkpwm

Function Extraction Technology: Computing the Behavior of Malware

R Linger, K Sayre, T Daly, M Pleszkoch
2011 2011 44th Hawaii International Conference on System Sciences  
Recent advances in software behavior computation illuminate an opportunity to compute the behavior of malware at machine speeds, to aid in understanding intruder methods and developing countermeasures.  ...  The behavior computation process helps eliminate certain forms of malware obfuscation and computes the net effects of the remaining functional code.  ...  FX can provide analysts with knowledge of malware structure and behavior that is not currently available and can be used in a variety of ways: Understand the function of malware.  ... 
doi:10.1109/hicss.2011.209 dblp:conf/hicss/LingerSDP11 fatcat:fyvswenmfvesjgzqzanlziwnry

Challenges in Behavioral Code Clone Detection

Fang-Hsiang Su, Jonathan Bell, Gail Kaiser
2016 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER)  
as a whole for general program understanding tasks.  ...  Ideally, we would like to also include code that is behaviorally or functionally similar, even if it looks completely different.  ...  ACKNOWLEDGEMENTS The authors are members of the Programming Systems Laboratory, funded in part by NSF CCF-1302269 and CCF-1161079.  ... 
doi:10.1109/saner.2016.75 dblp:conf/wcre/SuBK16 fatcat:u5gtt6awkbdefdogvkz4mr4oq4

Automated Behavior Computation for Software Analysis and Validation

Mark Pleszkoch, Richard Linger, Stacy Prowell, Kirk Sayre, Luanne Burns
2012 2012 45th Hawaii International Conference on System Sciences  
Structured programs are expressed in a finite hierarchy of control structures, each of which corresponds to a mathematical function or relation.  ...  Computations over the functional semantics of programs may offer a potential solution.  ...  Figure 7 shows a Come Here function performed on statement 6 of Figure 6 . These three functions provide a unique way of understanding a program.  ... 
doi:10.1109/hicss.2012.128 dblp:conf/hicss/PleszkochLPSB12 fatcat:2mqxozeoajdvpiyoh2b5ubi5mi

Evaluating a Disruptive Innovation: Function Extraction Technology in Software Development

R Collins, A Hevner, R Linger
2011 2011 44th Hawaii International Conference on System Sciences  
Function Extraction (FX) is an emerging technology for automated computation of software behavior.  ...  However, it is often difficult to provide convincing evidence to key stakeholders, as a basis for understanding and investing resources in disruptive innovations.  ...  The Function Extraction process generally proceeds from transformation of an input program into functional form, followed by structuring and behavior computation.  ... 
doi:10.1109/hicss.2011.194 dblp:conf/hicss/CollinsHL11 fatcat:bixstwjqs5ay7bb555o4rw73ay

GraphTrace---understanding object-oriented systems using concurrently animated views

Michael F. Kleyn, Paul C. Gingrich
1988 SIGPLAN notices  
In this paper we address the need to understand the behavior of objects in order to facilitate code sharing and reusability.  ...  We describe GraphTbace, a tool we have developed that has allowed us to experiment with new ways of visualizing the dynamic behavior of object-oriented programs.  ...  Simply executing a computation is not enough to explain a system's behavior. One must understand both the structure and the function of the objects involved.  ... 
doi:10.1145/62084.62101 fatcat:kowacqfymzajvg3fbgfktzkgwe

Introducing function extraction into software testing

Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner
2008 ACM SIGMIS Database the DATABASE for Advances in Information Systems  
This paper describes the emerging technology of function extraction (FX) for computing the behavior of programs to the maximum extent possible with mathematical precision.  ...  In current practice, software developers lack practical means to determine the full functional behavior of programs under development, and even the most thorough testing can provide only partial knowledge  ...  The behavior of every control structure in a program can be extracted and composed with others in a stepwise process based on an algebra of functions that traverses the control structure hierarchy.  ... 
doi:10.1145/1390673.1390679 fatcat:yaadz46ht5h3zpvhaxfuiwgbta

Code-reading support environment visualizing three fields and educational practice to understand nested loops

Koichi Yamashita, Takamasa Nagao, Satoru Kogure, Yasuhiro Noguchi, Tatsuhiro Konishi, Yukihiro Itoh
2016 Research and Practice in Technology Enhanced Learning  
to predict the behavior of the nested loops.  ...  We discuss how code reading using the proposed system allows learners to cultivate a superior understanding of the program code.  ...  The redeveloped function of package generalization will promote an understanding of the behavior and structure of a nested loop. Hypo2.  ... 
doi:10.1186/s41039-016-0027-3 pmid:30613236 pmcid:PMC6302840 fatcat:vdlnoaaph5avvmwwqf26tzjoee

How to Interconnect Operational and Behavioral Views of Web Applications

R. Fonseca, D. da Cruz, P.R. Henriques, M.J. Varanda Pereira
2008 2008 16th IEEE International Conference on Program Comprehension  
and program domains to reach a full understanding of software systems.  ...  In the context of our research project, we are looking for program comprehension tools that are able to interconnect operational and behavioral views, aiming at aiding the programmer to relate problem  ...  This kind of information will help the analyst to understand the architecture of the application, the different kind of files involved in the system, the structure of each program and the application behavior  ... 
doi:10.1109/icpc.2008.25 dblp:conf/iwpc/FonsecaCHP08 fatcat:uihidxqykngelisqikskoyb3cm

Synthetic tissue engineering: Programming multicellular self-organization by designing customized cell-cell communication

Satoshi Toda
2020 Biophysics and Physicobiology  
Creating tissue formation processes with synthetic genetic programs will help understanding of fundamental principles of how genetic programs drive tissue self-organization and provide new capabilities  ...  multicellular behaviors using mammalian systems.  ...  (d) Programming diverse three-layer structures.  ... 
doi:10.2142/biophysico.bsj-2020002 pmid:33173713 pmcid:PMC7593132 fatcat:yh4dfjkxovaydfvtp5tdpwt4ye

Proposal of a Visualizing Method of Data Transitions to Support Debugging for Java Programs

Tetsuro Katayama, Hiroto Nakamura, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki
2014 Journal of Robotics, Networking and Artificial Life (JRNAL)  
It is difficult to grasp behavior in executing the programs whose behavior is unexpected by a bug.  ...  The data transitions diagram is the most characteristic function of TVIS which shows the data transitions in executing programs as a table.  ...  Therefore, the method shows abnormal behavior and data renewals for understanding behavior of executing programs.  ... 
doi:10.2991/jrnal.2014.1.2.3 fatcat:ggdqwfpakjb4fkpls45tpiladu

Adding Behavior to Thinking about Structures & Functions

Rebecca Jordan, Steven Gray, Marylee Demeter, Lei Liu, Cindy Hmelo-Silver
2008 The American history teacher  
Because of this, we often focus on isolated parts or structures of a system without understanding how things work (their behavior) or what they do (their function).  ...  SBF thinking involves considering the different levels of a system in terms of Structures, Behaviors, and Functions (SBF), and how these are interconnected.  ...  Because of this, we often focus on isolated parts or structures of a system without understanding how things work (their behavior) or what they do (their function).  ... 
doi:10.1662/0002-7685(2008)70[329:abttas];2 fatcat:p3d6k7weonc4db53ywtiraebga

Support of semantics recovery during code scavenging using repository classification

Heinz Pozewaunig, Dominik Rauner-Reithmayer
1999 Proceedings of the 1999 symposium on Software reusability - SSR '99  
In this paper we propose a model to reuse the knowledge containd in a behavior based reuse repository for analyzing, classifying and understanding isolated executable components from a legacy system.  ...  One of the hardest tasks to be fulfilled during the analysis of legacy systems is how to determine the precise semantics of program components.  ...  REVEALING PROGRAM SEMANTICS This section sketches the problems structure based methods for program understanding are facing, in the case that no assumptions can be made about the analyzed components.  ... 
doi:10.1145/303008.303029 dblp:conf/ssr/PozewaunigR99 fatcat:3wedsgw2uze3di7qe6mvkpi73a
« Previous Showing results 1 — 15 out of 1,032,162 results